An edition of Automated Deduction in Geometry
(2007)
Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
by Francisco Botana
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computational complexity, Computer graphics, Discrete groups, Computer science, Optical pattern recognition, Artificial intelligence, Geometry, data processing, Automatic theorem proving, Logic, symbolic and mathematical, Geometry, Congresses, Data processing, Symbolic and mathematical Logic| Edition | Availability |
|---|---|
1
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
2015, Springer
in English
3319213628 9783319213620
|
zzzz
|
2
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Jul 27, 2015, Springer
paperback
331921361X 9783319213613
|
zzzz
|
3
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
2007, Springer-Verlag Berlin Heidelberg, Springer
electronic resource :
in English
354077355X 9783540773559
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created July 28, 2014
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| May 28, 2023 | Edited by MARC Bot | import existing book |
| December 29, 2022 | Edited by MARC Bot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| July 28, 2014 | Created by ImportBot | Imported from Internet Archive item record |