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
Constraints in computational logics
: theory and applications / H. Comon ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2002)
ISBN 978-3-540-45406-9
Lizenzpflichtig
Quelle: DNB
Foundations of intelligent systems
: 17th international symposium ; proceedings / ISMIS 2008, Toronto, Canada, May 20 - 23, 2008. Aijun An ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4994 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68123-6
Lizenzpflichtig
Quelle: DNB
Foundations of intelligent systems
: 16th international symposium ; proceedings / ISMIS 2006, Bari, Italy, September 27 - 29, 2006. Floriana Esposito ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4203 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45766-4
Lizenzpflichtig
Quelle: DNB
Learning language in logic
/ James Cussens ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1925 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40030-1
Lizenzpflichtig
Quelle: DNB
Learning language in logic
/ James Cussens ; Sašo Džeroski (ed.). - Berlin : Springer, 2000. - X, 299 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1925 : Lecture notes in artificial intelligence)
ISBN 978-3-540-41145-1 / 3-540-41145-3 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Logical foundations of computer science
: international symposium ; proceedings / LFCS 2007, New York, NY, USA, June 4 - 7, 2007. Sergei N. Artemov (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4514)
ISBN 978-3-540-72734-7
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 11th international workshop ; selected papers / LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. A. Pettorossi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2372)
ISBN 978-3-540-45607-0
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 10th international workshop ; selected papers / LOPSTR 2000, London, UK, July 24 - 28, 2000. K.-K. Lau (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2042)
ISBN 978-3-540-45142-6
Lizenzpflichtig
Quelle: DNB