default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIn Memory of William W. McCune 2013
- Maria Paola Bonacina, Mark E. Stickel:
Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. Lecture Notes in Computer Science 7788, Springer 2013, ISBN 978-3-642-36674-1 - Larry Wos:
The Legacy of a Great Researcher. 1-14 - Leonardo Mendonça de Moura, Grant Olney Passmore:
The Strategy Challenge in SMT Solving. 15-44 - Stephan Schulz:
Simple and Efficient Clause Subsumption with Feature Vector Indexing. 45-67 - Thomas Hillenbrand, Christoph Weidenbach:
Superposition for Bounded Domains. 68-100 - Hantao Zhang, Jian Zhang:
MACE4 and SEM: A Comparison of Finite Model Generators. 101-130 - Eric Ens, Ranganathan Padmanabhan:
Group Embedding of the Projective Plane PG(2, 3). 131-138 - Ranganathan Padmanabhan, Robert Veroff:
A Geometric Procedure with Prover9. 139-150 - Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
:
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. 151-164 - Rob Arthan, Paulo Oliva:
(Dual) Hoops Have Unique Halving. 165-180 - Branden Fitelson:
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. 181-188 - Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen:
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. 189-228 - Zachary Ernst, Seth Kurtenbach:
Toward a Procedure for Data Mining Proofs. 229-239 - Josef Urban, Jirí Vyskocil:
Theorem Proving in Large Formal Mathematics as an Emerging AI Field. 240-257
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
