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

1
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

2
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... Proving -- Automath, a Language for Mathematics -- 1969 -- Semi-Automated Mathematics -- Semantic Trees...”
Cover Image
Read Now

3
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

4
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... in inconsistent formal systems -- LP: The larch prover -- The KLAUS automated deduction system -- A Prolog...”
Cover Image
Read Now

5
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...-valued logics -- An ordered theory resolution calculus -- Application of automated deduction...”
Cover Image
Read Now

6
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

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... logic -- Resource-distribution via Boolean constraints -- Constructing a normal form for Property Theory...”
Cover Image
Read Now

8
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... description -- Protein: A PROver with a Theory Extension INterface -- DELTA — A bottom-up preprocessor for top...”
Cover Image
Read Now

9
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

10
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

11
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...Nested resolution -- Mechanizing constructive proofs -- Implementing number theory: An experiment...”
Cover Image
Read Now

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

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

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Rewriting -- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools -- A...”
Cover Image
Read Now

15
by Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Table of Contents: “...I. Natural and formal logic -- II. The connection method in propositional logic -- III...”
Cover Image
Read Now

16
by Newborn, Monty
Published 2001
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving -- System...”
Cover Image
Read Now

18
by Schaub, Torsten
Published 1997
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

19
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification...”