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, artificial intelligence, and reasoning
: 10th international conference ; proceedings / LPAR 2003, Almaty, Kazakhstan, September 22 - 26, 2003. Moshe Y. Vardi ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2850 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39813-4
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002. M. Baaz ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2514 : Lecture notes in artificial intelligence)
ISBN 978-3-540-36078-0
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 8th international conference ; proceedings / LPAR 2001, Havana, Cuba, December 3 - 7, 2001. R. Nieuwenhuis ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2250 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45653-7
Lizenzpflichtig
Quelle: DNB