Computer science logic
: proceedings / 17th International Workshop CSL 2003 ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003. Matthias Baaz ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Annual conference of the EACSL ...; 12)
ISBN 978-3-540-45220-1
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 16th international workshop ; proceedings / CSL 2002, Edinburgh, Scotland, UK, September 22 - 25, 2002. J. Bradfield (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Annual conference of the EACSL ...; 11)
ISBN 978-3-540-45793-0
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. L. Fribourg (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Annual conference of the EACSL ...; 10)
ISBN 978-3-540-44802-0
Lizenzpflichtig
Quelle: DNB
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
Declarative agent languages and technologies III
: third International Workshop ; selected and revised papers / DALT 2005, Utrecht, The Netherlands, July 25, 2005. Matteo Baldoni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3904 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33107-0
Lizenzpflichtig
Quelle: DNB
