Search alternatives:
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
formal language » formal languages
automata » automated
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning...”