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

21
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

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

23
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

24
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

25
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

26
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation...”
Cover Image
Read Now

27
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... by inductive evaluation -- Admissibility of fixpoint induction over partial types -- Automated theorem proving...”
Cover Image
Read Now

28
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Automata from Smallest Counterexamples -- Exact Learning when Irrelevant Variables Abound -- An Application...”
Cover Image
Read Now

29
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... theory -- The limit of splitn-language equivalence -- Divergence and fair testing -- Causality for mobile...”
Cover Image
Read Now

30
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...to uncertainty formalisms -- A Review of Uncertainty Handling Formalisms -- Application case...”
Cover Image
Read Now

31
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

32
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Arithmetic Q -- System Descriptions -- Redundancy-Free Lemmatization in the Automated Model-Elimination...”
Cover Image
Read Now

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

34
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

35
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

36
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities...”
Cover Image
Read Now

37
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended...”
Cover Image
Read Now

38
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... in the Algebra of Transients -- On Minimizing Cover Automata for Finite Languages in O(n log n) Time...”
Cover Image
Read Now

39
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between...”
Cover Image
Read Now

40
by Fitting, Melvin
Published 1990
Springer New York
Subjects: “...Formal Languages and Automata Theory...”