Franz Winkler,
"Automated Deduction in Geometry - Proceedings of the Conference Automated Deduction in Geometry (ADG'2002)"
, Springer-Verlag Berlin Heidelberg New York, LNAI 2930, 2004, 2004, ISBN: 3540209271, ISSN: 0302-9743
Original Titel:
Automated Deduction in Geometry - Proceedings of the Conference Automated Deduction in Geometry (ADG'2002)
Sprache des Titels:
Englisch
Veröffentlicher:
Springer-Verlag Berlin Heidelberg New York, LNAI 2930, 2004