Suchfeld einblenden
Person Hong, Hoon
1 Treffer
Seite < 1 >
Automated deduction in geometry
: 5th international workshop ; revised papers / ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004. Hoon Hong ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3763 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31363-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
