[Automated deduction in geometry]
: [4th international workshop ; revised papers] / [ADG 2002, Hagenberg Castle, Austria, September 4 - 6, 2002. Franz Winkler (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2930] : [Lecture notes in artificial intelligence])
ISBN 978-3-540-24616-9
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Mathematische Expertensysteme
: praktisches Arbeiten mit den Computer-Algebra-Systemen MACSYMA, Mathematica und DERIVE / Bernhard Kutzler ; Bernhard Wall ; Franz Winkler. - Ehningen bei Böblingen : expert-Verl., 1992. - 119 S. : Ill., graph. Darst.; 21 cm - (Kontakt & Studium; Bd. 430)
ISBN 978-3-8169-0908-8 / 3-8169-0908-6 kart. : DM 44.00
Literaturangaben
Quelle: DNB
Symbolic and numerical scientific computation
: second international conference ; revised papers / SNSC 2001, Hagenberg, Austria, September 12 - 14, 2001. Franz Winkler ; Ulrich Langer (ed.). - Berlin : Springer, 2003. - XII, 386 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2630)
ISBN 978-3-540-40554-2 / 3-540-40554-2 kart. : EUR 53.50 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB
