Search alternatives:
automatic theorem » automated theorem, automata theory
automation theory » automata theory, estimation theory, animation theory
automatic theory » automata theory, axiomatic theory, automated theory
languages » language
Cover Image
Read Now

1
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal...”
Cover Image
Read Now

2
by Schumann, Johann M.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Formal Methods in Software Engineering -- 3. Processing of Logic -- 4...”
Cover Image
Read Now

3
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Solving open questions with an automated theorem-proving program -- STP: A mechanized logic...”
Cover Image
Read Now

4
Published 1983
Springer Berlin Heidelberg
Table of Contents: “...Automated Theorem Proving 1965–1970 -- 1967 -- A Cancellation Algorithm for Elementary Logic...”
Cover Image
Read Now

5
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Issues in theorem proving based on the connection method -- Rigid E-unification simplified...”
Cover Image
Read Now

6
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem...”
Cover Image
Read Now

7
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...-based" automated theorem proving for non-standard logics -- Propositional temporal interval logic...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Applying Formal Methods in the Large -- Automating Theorem Proving with SMT...”
Cover Image
Read Now

9
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- The GAZER theorem prover -- ROO: A parallel theorem prover -- RVF: An automated formal verification system...”
Cover Image
Read Now

10
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- MegaLog — A platform for developing knowledge base management systems -- SPIKE, an automatic theorem...”
Cover Image
Read Now

11
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... structures and algorithms for automated deduction with equality clauses -- The Clause-Diffusion theorem...”
Cover Image
Read Now

12
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... optimization -- Exploring abstract algebra in constructive type theory -- Tactic theorem proving...”
Cover Image
Read Now

13
by Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning...”
Cover Image
Read Now

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
Cover Image
Read Now

15
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Proofs in Category Theory -- Formal Global Optimisation with Taylor Models -- A Purely Functional Library...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering...”
Cover Image
Read Now

17
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...: Implementation by an extended prolog compiler -- Paths to high-performance automated theorem proving --...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... in Theorem Proving -- Proof Automation II -- A Coverage Checking Algorithm for LF -- Automatic Generation...”
Cover Image
Read Now

19
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System...”
Cover Image
Read Now

20
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Type Theory -- The Nuprl Open Logical Environment -- System Description: aRa – An Automatic Theorem...”