Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 1998. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49545-1
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 11th European conference ; proceedings / JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Steffen Hölldobler ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5293 : Lecture notes in artificial intelligence)
ISBN 978-3-540-87803-2
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - X, 390 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-65141-3 / 3-540-65141-1 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: 9th European conference ; proceedings / JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004. José Júlio Alferes ; João Leite (ed.). - Berlin : Springer, 2004. - XIV, 744 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3229 : Lecture notes in artificial intelligence)
ISBN 978-3-540-23242-1 / 3-540-23242-7 kart. : EUR 89.88 (freier Pr.), sfr 142.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Schöning, Uwe: Logik für Informatiker
/ von Uwe Schöning. - 4., überarb. Aufl. - Heidelberg : Spektrum, Akad. Verl., 1995. - 207 S.; 21 cm - (Reihe Informatik)
ISBN 978-3-86025-684-8 / 3-86025-684-X kart. : DM 29.80
Literaturverz. S. 197 - 201
Quelle: DNB
Dassow, Jürgen: Logik für Informatiker
/ Jürgen Dassow. - 1. Aufl. - Stuttgart : Teubner, 2005. - 177 S.; 24 cm - (Lehrbuch : Mathematik)
ISBN 978-3-519-00518-6 / 3-519-00518-2 kart. : EUR 22.90
Quelle: DNB Verlagsmeldungen
Schöning, Uwe: Logik für Informatiker
/ von Uwe Schöning. - 3., überarb. Aufl. - Mannheim : BI-Wiss.-Verl., 1992. - 207 S. : graph. Darst.; 21 cm - (Reihe Informatik; Bd. 56)
ISBN 978-3-411-14013-8 / 3-411-14013-5 kart. : DM 29.80
Literaturverz. S. 197 - 201
Quelle: DNB
Meta-programming in logic
: third international workshop, Meta-92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings / A. Pettorossi (ed.). - Berlin : Springer, 1992. - XII, 351 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 649)
ISBN 978-3-540-56282-5 / 3-540-56282-6 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Nonclassical logics and information processing
: international workshop Berlin, Germany, November 9 - 10, 1990 ; proceedings / D. Pearce ; H. Wansing (ed.). - Berlin : Springer, 1992. - 171 S.; 25 cm - (Lecture notes in computer science; Vol. 619 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55745-6 / 3-540-55745-8 kart. : DM 46.00
Literaturangaben
Quelle: DNB
