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

1
by Fitting, Melvin
Published 1990
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
by Fitting, Melvin
Published 1996
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2003
Physica
Table of Contents: “... to Entropy and its Generalizations — A Survey -- Proof Theory and Automated Deduction in Multiple-valued...”