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

41
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Rewriting -- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools -- A...”
Cover Image
Read Now

42
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... modal substructural logic based on labelled deductive systems -- Consistency checking of automata...”
Cover Image
Read Now

43
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

44
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

45
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

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

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

48
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

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

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

51
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... control of approximate reasoning: A decision theoretic approach -- Formal models of selection in genetic...”
Cover Image
Read Now

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

53
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Nonmononic reasoning -- On the Complexity of Theory Curbing -- Descriptive complexity -- Graph...”
Cover Image
Read Now

54
Published 2019
Springer International Publishing
Table of Contents: “... and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ...”
Cover Image
Read Now

55
Published 2014
Springer International Publishing
Table of Contents: “...A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern...”
Cover Image
Read Now

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

57
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

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

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

60
Published 2019
Springer International Publishing
Table of Contents: “... Runtimes for Constant Probability Programs -- Automatic Generation of Logical Models with AGES -- Automata...”