Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
Cover Image
Read Now

1
by Chiswell, Ian M.
Published 2009
Springer London
Table of Contents: “.... Recursively Enumerable Sets and Languages -- 4. Context-free language -- 5. Connections with Group Theory -- A...”
Cover Image
Read Now

2
by Pytheas Fogg, N.
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of substitutions -- Substitutions, arithmetic and finite automata: an introduction -- Automatic sequences...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Systems -- Mizar Course in Logic and Set Theory -- Using Formal Concept Analysis in Mathematical Discovery...”