Book serie: / Книги серии: Lecture Notes in Computer Science 6877 Lecture Notes in Artificial Intelligence » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 6877 Lecture Notes in Artificial Intelligence

book Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

pdf

Author: Susanne Apel Jürgen Richter-Gebert (auth.) Pascal Schreck Julien Narboux Jürgen Richter-Gebert (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

pdf

Author: Susanne Apel Jürgen Richter-Gebert (auth.) Pascal Schreck Julien Narboux Jürgen Richter-Gebert (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0