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

1
by Ayala-Rincón, Mauricio, de Moura, Flávio L. C.
Published 2017
Springer International Publishing
Table of Contents: “... -- Derivations and Formalizations -- Algebraic and Computational Examples -- Suggested Readings -- Index...”
Cover Image
Read Now

2
Published 2017
Springer International Publishing
Table of Contents: “...Whitebox Automation -- Automated Theory Exploration for Interactive Theorem Proving...”