Home > Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Book Informaton
Author
Pascal Schreck; Julien Narboux; Jürgen Richter-Gebert
Series
Lecture Notes in Computer Science
Volume
6877
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
Pages
X, 259
Language
EN
ISBN
9783642250699, 9783642250705
ARI Id
1664699410699
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 15 of 15 entries
Chapters/Headings | Author(s) | Pages | Info |
1-33 | |||
34-50 | |||
51-67 | |||
68-77 | |||
78-97 | |||
98-117 | |||
118-131 | |||
132-151 | |||
152-168 | |||
169-181 | |||
182-200 | |||
201-220 | |||
221-258 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 15 of 15 entries
Topics
Mathematical Logic and Formal Languages Computational complexity Computer graphics Discrete Mathematics in Computer Science Software engineering Algebra Symbolic and Algebraic Manipulation Computer science Data processing Artificial intelligence Artificial Intelligence (incl. Robotics) Geometry data processing Automatic theorem proving Logic symbolic and mathematical