Frontiers of combining systems
: 6th international symposium ; proceedings / FroCoS 2007, Liverpool, UK, September 10 - 12, 2007. Boris Konev ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4720 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74621-8
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 5th international workshop ; proceedings / FroCoS 2005, Vienna, Austria, September 19 - 21, 2005. Bernhard Gramlich (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3717)
ISBN 978-3-540-31730-2
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Intelligent computer mathematics
: Birmingham, UK, July 28 - August 1, 2008 ; proceedings / 9th international conference, AISC 2008 ; 15th symposium, Calculemus 2008 ; 7th international conference, MKM 2008. Serge Autexier ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5144 : Lecture notes in artificial intelligence)
ISBN 978-3-540-85110-3
Lizenzpflichtig
Quelle: DNB
Intelligent computer mathematics
: proceedings / AISC 2008 ... Serge Autexier ... (ed.). - Berlin : Springer, 2008. - XIV, 600 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5144 : Lecture notes in artificial intelligence)
ISBN 978-3-540-85109-7 kart. : EUR 77.04 (freier Pr.), sfr 119.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic for programming and automated reasoning
: 7th international conference ; proceedings / LPAR 2000, Reunion Island, France, November 6 - 10, 2000. Michel Parigot ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1955 : Lecture notes in artificial intelligence)
ISBN 978-3-540-44404-6
Lizenzpflichtig
Quelle: DNB
Logic for programming and automated reasoning
: 6th international conference ; proceedings / LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999. Harald Ganzinger ... (ed.). - Berlin : Springer, 1999. - XII, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1705 : Lecture notes in artificial intelligence)
ISBN 978-3-540-66492-5 / 3-540-66492-0 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Logic for programming and automated reasoning
: 5th international conference ; proceedings / LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Frank Pfenning (ed.). - Berlin : Springer, 1994. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 822 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58216-8 / 3-540-58216-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Logic for programming and automated reasoning
: 4th international conference ; proceedings / LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.). - Berlin : Springer, 1993. - XIII, 386 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 698 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56944-2 / 3-540-56944-8 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Logic for programming and automated reasoning
: proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15 - 20, 1992. A. Voronkov (ed.). - Berlin : Springer, 1992. - XIV, 509 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 624 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55727-2 / 3-540-55727-X kart. : DM 96.00
Literaturangaben
Quelle: DNB
