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
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
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
