Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4869)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: ADG 2006.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Automated Deduction in Geometry
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: Automated Deduction in Geometry
Book Subtitle: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Editors: Francisco Botana, Tomas Recio
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-77356-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-77355-9Published: 12 December 2007
eBook ISBN: 978-3-540-77356-6Published: 06 December 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 218
Topics: Geometry, Artificial Intelligence, Computer Graphics, Mathematical Logic and Formal Languages, Pattern Recognition, Discrete Mathematics in Computer Science