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

61
Published 2016
Springer International Publishing
Table of Contents: “... Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving...”
Cover Image
Read Now

62
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics...”
Cover Image
Read Now

63
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Description -- Towards Modularly Comparing Programs Using Automated Theorem Provers -- Reuse in Software...”
Cover Image
Read Now

64
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Theorem Prover AI-SETHEO -- E-SETHEO: An Automated3 Theorem Prover...”
Cover Image
Read Now

65
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Competition -- Session 10: Invited Talk -- Proof Search and Proof Check for Equational and Inductive Theorems...”
Cover Image
Read Now

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

67
by Hou, Zhe
Published 2021
Springer International Publishing
Table of Contents: “... and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation...”
Cover Image
Read Now

68
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

69
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Tense Logics -- Hilbert’s ?-Terms in Automated Theorem Proving -- Partial Functions in an Impredicative...”
Cover Image
Read Now

70
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based...”
Cover Image
Read Now

71
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of refinement -- Effective theorem proving for hardware verification -- A formal framework for high level...”
Cover Image
Read Now

72
Published 2019
Springer International Publishing
Table of Contents: “... Proof Terms -- Combining ProVerif and Automated Theorem Provers for Security Protocol Verification...”
Cover Image
Read Now

73
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical...”
Cover Image
Read Now

74
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used...”
Cover Image
Read Now

75
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...:Improving CondLean for Stronger Conditional Logics -- The ILTP Library: Benchmarking Automated Theorem...”
Cover Image
Read Now

76
by Williams, James G.
Published 1991
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

77
Published 1995
Springer Vienna
Table of Contents: “... for polynomial systems -- 3 Mechanical geometry theorem proving -- 4 Automatic derivation of unknown relations...”
Cover Image
Read Now

78
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear...”
Cover Image
Read Now

79
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... to the Tableau Prover PITP -- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning...”
Cover Image
Read Now

80
Published 2015
Springer International Publishing
Table of Contents: “... Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving...”