MPG.eBooks - Search Results - formal languages and ((((automatic theory) OR (automatic theorem))) or (automation theory))

21

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Combinatorial Reasoning -- Automatic Generation of Classification Theorems for Finite Algebras -- Efficient...”

Read Now

22

Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving -- System...”

Read Now

23

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “...: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant...”

Read Now

24

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “...: Static Program Analysis Using Theorem Proving -- Session 6. Satisfiability Modulo Theories -- Solving...”

Read Now

25

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...:Improving CondLean for Stronger Conditional Logics -- The ILTP Library: Benchmarking Automated Theorem...”

Read Now

26

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code...”

Read Now

27

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification...”

Read Now

28

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

Table of Contents: “... description) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages -- Formalizations...”

Read Now

29

Automated Reasoning...

Published 2014

Springer International Publishing

Table of Contents: “...) -- The Complexity of Theorem Proving in Circumscription and Minimal Entailment -- Visibly Linear Temporal Logic...”

Read Now

30

Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... -- Experiments with ZF set theory in HOL and Isabelle -- Automatically synthesized term denotation predicates: A...”

Read Now

31

Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical...”

Read Now

32

Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used...”

Read Now

33

Automated Practical Reasoning : Algebraic Approaches

Published 1995

Springer Vienna

Table of Contents: “... for polynomial systems -- 3 Mechanical geometry theorem proving -- 4 Automatic derivation of unknown relations...”

Read Now

34

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... -- An Extensible Proof Text Editor -- A Tactic Language for the System Coq -- Theorem proving -- Proof...”

Read Now

35

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Published 2019

Springer International Publishing

Table of Contents: “...A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth...”

Read Now

36

Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Published 2019

Springer International Publishing

Table of Contents: “... Proof Terms -- Combining ProVerif and Automated Theorem Provers for Security Protocol Verification...”

Read Now

37

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Published 2016

Springer International Publishing

Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”

Read Now

38

Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”

Read Now

39

Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

Published 2017

Springer International Publishing

Table of Contents: “...Language and information extraction -- Post-processing and applications of automatic transcriptions...”

Read Now

40

FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Published 2014

Springer International Publishing

Table of Contents: “...A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern...”

Narrow Search