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

21
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

22
by Newborn, Monty
Published 2001
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

23
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving -- System...”
Cover Image
Read Now

24
Published 2021
Springer International Publishing
Table of Contents: “... Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory...”
Cover Image
Read Now

25
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Logic -- Formalization of Continuous Probability Distributions -- Compilation as Rewriting in Higher...”
Cover Image
Read Now

26
by Schaub, Torsten
Published 1997
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

27
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Proving in Intuitionistic First-Order Logic -- Automatic ‘Descente Infinie’ Induction Reasoning -- A...”
Cover Image
Read Now

28
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code...”
Cover Image
Read Now

29
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification...”
Cover Image
Read Now

30
by Franz, Alexander
Published 1996
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

31
Published 2020
Springer International Publishing
Table of Contents: “... description) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages -- Formalizations...”
Cover Image
Read Now

32
Published 2014
Springer International Publishing
Table of Contents: “... in Logic with Equality -- Quati: An Automated Tool for Proving Permutation Lemmas -- A History-Based...”
Cover Image
Read Now

33
by Krithivasan, Kamala
Published 2009
Dorling Kindersley
Subjects: “...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...”
Cover Image
Read Now

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

35
by Kaiser, Lukasz
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...1 Logics, Structures and Presentations -- 2 Game Quantifiers on Automatic Presentations -- 3 Games...”
Cover Image
Read Now

36
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

37
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic...”
Cover Image
Read Now

38
Published 1995
Springer Vienna
Table of Contents: “... in neural networks theory -- References -- On a general notion of a hull -- 1 Introduction -- 2 Basic...”
Cover Image
Read Now

39
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning...”
Cover Image
Read Now

40
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Nonmononic reasoning -- On the Complexity of Theory Curbing -- Descriptive complexity -- Graph...”