Online Library TheLib.net » Author books / Книги автора Susanne Apel Jürgen Richter-Gebert (auth.) Pascal Schreck Julien Narboux Jürgen Richter-Gebert (eds.
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
00
27.01.2024
1
0
Read online
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
00
27.01.2024
0
0
Read online
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
00
27.01.2024
0
0
Read online