Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /

Bibliographic Details
Corporate Author:	International Workshop on Automated Deduction in Geometry Munich, Germany
Other Authors:	Narboux, Julien, Richter-Gebert, Jürgen, 1963-, Schreck, Pascal
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Artificial intelligence. Lecture notes in computer science. Lecture notes in computer science. Lecture notes in artificial intelligence ; 6877.
Subjects:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Artificial Intelligence (incl. Robotics) Artificial intelligence Computational complexity Computer graphics Computer science Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Software engineering Symbolic and Algebraic Manipulation Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online