Logics in artificial intelligence
: 8th European conference ; proceedings / JELIA 2002, Cosenza, Italy, September 23 - 26, 2002. S. Flesca ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2424 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45757-2
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA 2000, Málaga, Spain, September/October 2000. M. Ojeda-Aciego ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1919 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40006-6
Lizenzpflichtig
Quelle: DNB
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
: proceedings / European Workshop JELIA '94, York, UK, September 5 - 8, 1994 / Craig MacNish ... (ed.). - Berlin : Springer, 1994. - IX, 413 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 838 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58332-5 / 3-540-58332-7 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '96, Évora, Portugal, September 30 - October 3, 1996 / José Júlio Alferes ... (ed.). - Berlin : Springer, 1996. - IX, 416 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1126 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61630-6 / 3-540-61630-6 kart. : DM 86.00
Literaturangaben
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
Logics of specification languages
/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
