"Automated Theorem Proving" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Automated Theorem Proving	Wolfgang Bibel	2nd ed. 1987	Vieweg+Teubner Verlag
Automated Theorem Proving	D. W. Loveland	1978	North-Holland
Automated Theorem Proving	Wolfgang Bibel	1982	Vieweg+Teubner Verlag
Principles of automated theorem proving	David A. Duffy	1991	Wiley
Automated Theorem Proving in Software Engineering	Johann M. Schumann	2001	Springer Berlin Heidelberg
Automated Theorem Proving: Theory and Practice	Monty Newborn	2001	Springer New York
Automated theorem proving: theory and practice	Monty Newborn (auth.)	2001	Springer-Verlag New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1990	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	2nd ed. 1996	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1996	Springer
Current Trends in Hardware Verification and Automated Theorem Proving	Graham Birtwistle; P. A. Subrahmanyam	1989	Springer New York
Some new results on resolution in automated theorem proving	Lawrence J. Henschen	1968
Mechanical Geometry Theorem Proving	Shang-Ching Chou	1987	Springer
Theorem Proving with the Real Numbers	John Harrison	1998	Springer London
Symbolic Logic and Mechanical Theorem Proving	Chin-Liang Chang and Richard Char-Tung Lee	1973	Academic Press
Theorem proving with abstraction,part II	David A. Plaisted	1979	Dept. of Computer Science, University of Illinois at Champaign-Urbana
Symbolic logic and mechanical theorem proving	Chin-Liang Chang	1987	Academic Press
A machine program for theorem-proving	Martin Davis	1961	Courant Institute of Mathematical Sciences, New York University
Theorem proving with abstraction, part I	David A. Plaisted	1979	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Knowledge based theorem proving and learning	Donald N. Cohen	1981	UMI Research Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Automated Theorem Proving	Hongbo Li	Geometric Algebra with Applications in Science and Engineering	Eduardo Bayro Corrochano; Garret Sobczyk	2001	Birkhäuser Boston
Automated Theorem Proving	Gilles Dowek	Proofs and Algorithms: An Introduction to Logic and Computability	Gilles Dowek	2011	Springer London
Directed Automated Theorem Proving	Stefan Edelkamp; Peter Leven	Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings	Matthias Baaz; Andrei Voronkov	2002	Springer Berlin Heidelberg
10 - Automated Theorem Proving		Computation, Proof, Machine: Mathematics Enters a New Age	Gilles Dowek; Pierre Guillot; Marion Roman	2015-05	Cambridge University Press
36 Automated theorem proving		Invariant Algebras And Geometric Reasoning	Hongbo Li	2008	World Scientific Publishing Company
45 Automated theorem proving		Invariant Algebras And Geometric Reasoning	Hongbo Li	2008	World Scientific Publishing Company
12131 Automated theorem proving		Silicon Systems For Wireless Lan	Zoran Stamenkovic	2020	World Scientific Publishing (Uk)Limited
D Automated Theorem Proving		Fundamental Proof Methods in Computer Science: A Computer-Based Approach	Konstantine Arkoudas	2017	MIT Press
Automated Theorem Proving 1965–1970	L. Wos; L. Henschen	Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970	J. Siekmann; G. Wrightson	1983	Springer Berlin Heidelberg
Automated and Interactive Theorem Proving		Formal Logical Methods for System Security and Correctness	Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller	2008	IOS Press
D1 General automated theorem proving		Fundamental Proof Methods in Computer Science: A Computer-Based Approach	Konstantine Arkoudas	2017	MIT Press
Orderings in Automated Theorem Proving	Helene Kirchner	Mathematical aspects of artificial intelligence: American Mathematical Society short course, January 8-9, 1996, Orlando, Florida /	Hoffman, Frederick,	1998.	American Mathematical Society,
The KRIPKE automated theorem proving system	Paul B. Thistlewaite; Michael A. McRobbie; Robert K. Meyer	8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings	Jörg H. Siekmann	1986	Springer Berlin Heidelberg
Automated Theorem Proving with Disjunctive Constraints	Ortrun Ibens	Principles and Practice of Constraint Programming - CP' 99: 5th International Conference, CP' 99, Alexandria, VA, USA, October 11-14, 1999 Proceedings	Joxan Jaffar	1999	Springer Berlin Heidelberg
Integrating Automated and Interactive Theorem Proving	Ahrendt; Beckert; Hähnle; Menzel; Reif; Schellhorn et al.	Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications	Wolfgang Bibel; P.H. Schmitt	1998	Springer Netherlands
Strategy selection for automated theorem proving	Andreas Wolf	Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA' 98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings	Fausto Giunchiglia	1998	Springer Berlin Heidelberg
Automated Theorem Proving with Web Services	Björn Pelzer	KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings	Ingo J. Timm; Matthias Thimm	2013	Springer Berlin Heidelberg
Hilbert’s ∈-Terms in Automated Theorem Proving	Martin Giese; Wolfgang Ahrendt	Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings	Neil V. Murray	1999	Springer Berlin Heidelberg
Automated Theorem Proving & First-Order Logic	Arnaldo Pérez Castaño	Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C#	Arnaldo Pérez Castaño	1st ed.	Apress
122 Automated Reasoning and Theorem Proving		Artificial Intelligence: Structures and Strategies for Complex Problem Solving (5th Edition)	George F Luger	2005	Pearson Education Limited
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries