Suchfeld einblenden
Person Rechter-Gebert, Jürgen
1 Treffer
Seite < 1 >
Automated deduction in geometry
: third international workshop ; revised papers / ADG 2000, Zurich, Switzerland, September 25 - 27, 2000. J. Richter-Gebert ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2061 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45410-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
