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
Logic for programming, artificial intelligence, and reasoning
: 13th international conference ; proceedings / LPAR 2006, Phnom Penh, Cambodia, November 13 - 17, 2006. Miki Hermann ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4246 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48282-6
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 12th international conference ; proceedings / LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005. Geoff Sutcliffe ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3835 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31650-3
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 15th international conference ; proceedings / LPAR 2008, Doha, Qatar, November 22 - 27, 2008. Iliano Cervesato ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5330 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89439-1
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 11th international conference ; proceedings / LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005. Franz Baader ; Andrei Voronkov (ed.). - Berlin : Springer, 2005. - XI, 562 S.; 24 cm - (Lecture notes in computer science; Vol. 3452 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25236-8 / 3-540-25236-3 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, information and computation
: 15th international workshop ; proceedings / WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008. Wilfrid Hodges ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5110 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69937-8
Lizenzpflichtig
Quelle: DNB
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)
ISBN 978-3-540-71316-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)
ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
