Automated deduction in geometry
: selected papers / International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996. Dongming Wang (ed.). - Berlin : Springer, 1998. - 234 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1360 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64297-8 / 3-540-64297-8 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Symbolic numeric computation
/ Dongming Wang ; Li-Hong Zhi ed.. - Basel : Birkhäuser, 2007. - VIII, 394 S. : graph. Darst.; 24 cm - (Trends in mathematics)
ISBN 978-3-7643-7983-4 / 3-7643-7983-9 Pp. : EUR 83.46 (freier Pr.), sfr 124.00
Literaturangaben
Quelle: DNB Verlagsmeldungen
Symbolic numeric computation
/ Dongming Wang ... ed.. - Basel : Birkhäuser, 2007. - Online-Ressource - (Trends in mathematics)
ISBN 978-3-7643-7984-1 / 3-7643-7984-7
Lizenzpflichtig
Quelle: DNB
