Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
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...”