Suchfeld einblenden
Person Gao, Xiao-Shan
1 Treffer
Seite < 1 >
Automated deduction in geometry
: proceedings / ADG'98, Beijing, China, August 1998. X.-S. Gao ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1669 : Lecture notes in artificial intelligence)
ISBN 978-3-540-47997-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
