Computer science logic
: 22nd international workshop ; proceedings / CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008. Michael Kaminski ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5213)
ISBN 978-3-540-87531-4
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 21st international workshop ; proceedings / CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007. Jacques Duparc ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4646)
ISBN 978-3-540-74915-8
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 20th international workshop ; proceedings / CSL 2006, Szeged, Hungary, September 25 - 29, 2006. Zoltán Ésik (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Annual conference of the EACSL ...; 15)
ISBN 978-3-540-45459-5
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 19th international workshop ; proceedings / CSL 2005, Oxford, UK, August 22 - 25, 2005. Luke Ong (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Annual conference of the EACSL ...; 14)
ISBN 978-3-540-31897-2
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 18th international workshop ; proceedings / CSL 2004, Karpacz, Poland, September 20 - 24, 2004. Jerzy Marcinkowski ; Andrzej Tarlecki (ed.). - Berlin : Springer, 2004. - XI, 520 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 13)
ISBN 978-3-540-23024-3 / 3-540-23024-6 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer science logic
: 13th international workshop ; proceedings / CSL '99, Madrid, Spain, September 20 - 25, 1999. Jörg Flum ; Mario Rodríguez-Artalejo (ed.). - Berlin : Springer, 1999. - XI, 580 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 8)
ISBN 978-3-540-66536-6 / 3-540-66536-6 kart. : DM 118.00
Literaturangaben
Quelle: DNB
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
