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

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...: An automatic function inverter -- A parallel implementation of rewriting and narrowing -- Morphocompletion...”