Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
automated theory » automated theorem, automata theory, automatic theorem
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 2013
Springer Berlin Heidelberg
Table of Contents: “...Constructive mathematics and type theory -- Logic, automata and automatic structures...”
Cover Image
Read Now

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