Opening book details…
Can I read Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science Book 9201) on EtoBox?
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science Book 9201) by Francisco Botana, Pedro Quaresma (eds.) is a nonfiction available to read on EtoBox.
What is Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science Book 9201) about?
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. Erscheinungsdatum: 27.07.2015
Who reads Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science Book 9201)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Francisco Botana, Pedro Quaresma (eds.)
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319213613
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
Other editions & translations
More by Francisco Botana, Pedro Quaresma (eds.)
Browse all works by Francisco Botana, Pedro Quaresma (eds.)
Similar books
- Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) — Frank Pfenning (auth.), Claude Kirchner, Hélène (1998)
- Data Integration In The Life Sciences: 10th International Conference, Dils 2014, Lisbon, Portugal, July 17-18, 2014. Proceedings (lecture Notes In Computer Science) — Helena Galhardas and Erhard Rahm (2014)
- Future Multimedia Networking: Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings (Lecture Notes in Computer Science, 5630) — Mathieu Gineste, Nicolas Van Wambeke, Ernesto Exposito (auth.), Andreas Mauthe, Sherali Zeadally, Eduardo Cerqueira, Marília Curado (2009)
- Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632) — Harald Ganzinger (auth.) (1999)
- Automated Deduction – Cade-22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (lecture Notes In Computer Science) — Renate A Schmidt; CADE; International Conference on Automated Deduction (2009)
- Dependable computing : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 : proceedings — Alessia Garofalo, Cesario Di Sarno, Valerio Formicola (auth.), Marco Vieira, João Carlos Cunha (2013)