Search alternatives:
languages » language
automata » automatic
Cover Image
Read Now

1
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

2
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “... and theorems -- COMPILE: transforming well-formed formulas to clauses -- Inference procedures -- Proving...”
Cover Image
Read Now

3
by Fitting, Melvin
Published 1990
Springer New York
Table of Contents: “...5.5 Hintikka’s Lemma -- 5.6 Parameters -- 5.7 The Model Existence Theorem -- 5.8 Applications...”
Cover Image
Read Now

4
by Fitting, Melvin
Published 1996
Springer New York
Table of Contents: “... Propositional Logic—Semantics -- 2.4 Boolean Valuations -- 2.5 The Replacement Theorem -- 2.6 Uniform Notation...”
Cover Image
Read Now

5
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning...”
Cover Image
Read Now

6
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

7
by Harrison, John
Published 1998
Springer London
Table of Contents: “...8.2 The formalization of mathematics -- 8.3 The LCF approach to theorem proving -- 8.4 Computer...”
Cover Image
Read Now

8
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... ?-languages -- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme -- Automates boustrophedon...”
Cover Image
Read Now

9
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

10
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

11
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... in the ImperativeProgramming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving...”
Cover Image
Read Now

12
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... theory -- Simplifying interpreted formulas -- Specification and verification of real-time, distributed...”
Cover Image
Read Now

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

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

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

16
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

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... magic sets to incorporate top-down inference into bottom-up theorem proving -- Alternating automata...”
Cover Image
Read Now

18
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... and automated deduction -- On Shostak's decision procedure for combinations of theories -- Ground resolution...”
Cover Image
Read Now

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

20
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... modal substructural logic based on labelled deductive systems -- Consistency checking of automata...”