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

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Vehicles -- Hyper-Automation System Applied to Geometry Demonstration Environment -- Computer Algebra...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory...”