An edition of Automated Deduction in Geometry
(2007)
Automated Deduction in Geometry
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected 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
Jul 27, 2015, Springer
paperback
331921361X 9783319213613
|
aaaa
|
2
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
|
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
|
zzzz
|
Book Details
Edition Notes
Source title: Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science (9201))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created May 30, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 30, 2020 | Created by ImportBot | Imported from amazon.com record |