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

1
Published 2016
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “... Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic...”
Cover Image
Read Now

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... unifying theory of dependent types: the schematic approach -- MSL — A Mathematical Specification Language...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”
Cover Image
Read Now

5
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “... A Comparative Guide -- VI Elements of Set Theory -- 1 Some Basic Axioms of Set Theory -- 2 Boole’s...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Constructive mathematics and type theory -- Logic, automata and automatic structures...”
Cover Image
Read Now

7
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Logic -- A BialgebraicApproach to Automata and Formal Language Theory...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”