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

1
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

2
Published 1980
Springer Berlin Heidelberg
Table of Contents: “...-varying model -- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple...”
Cover Image
Read Now

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

4
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

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- An Extensible Proof Text Editor -- A Tactic Language for the System Coq -- Theorem proving -- Proof...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Characterization of Khabbaz Geometric Hierarchy of Languages -- On the Maximum Coefficients of Rational Formal...”
Cover Image
Read Now

7
Published 2015
Springer International Publishing
Table of Contents: “... Consistency Proof and the Bar Theorem, W.W. Tait -- Goodstein’s Theorem Revisited, Michael Rathjen -- Part III...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “... via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order...”
Cover Image
Read Now

9
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... formal operational semantics for languages of type Prolog III -- Efficiency considerations on goal...”
Cover Image
Read Now

10
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- THEOPOGLES — An efficient theorem prover based on rewrite-techniques -- Comtes — An experimental environment...”
Cover Image
Read Now

11
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...A logical-based language for feature specification and transmission control -- Program...”
Cover Image
Read Now

12
by Schreiner, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “...Part I The Foundations -- Syntax and Semantics -- The Language of Logic -- The Art of Reasoning...”
Cover Image
Read Now

13
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Incomplete Information -- On Rough Relations: An Alternative Formulation -- Formal Rough Concept Analysis --...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... and Practice -- A Lyapunov-Type Theorem for Nonadditive Vector Measures -- A Formal Theory of Cooperative TU...”
Cover Image
Read Now

15
by Wang Hao
Published 1990
Springer Netherlands
Table of Contents: “...One. Broad Issues -- 1. On Formalization -- 2. The Concept of Computability [(1953)] -- 3. Process...”
Cover Image
Read Now

16
by Berstel, Jean, Reutenauer, Christophe
Published 2011
Cambridge University Press
Table of Contents: “...Preface; Part I. Rational Series: 1. Rational series; 2. Minimization; 3. Series and languages; 4...”