Computational logic
: first international conference ; proceedings / CL 2000, London, UK, July 24 - 28, 2000. John Lloyd ... (ed.). - Berlin : Springer, 2000. - XIX, 1379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1861 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67797-0 / 3-540-67797-6 kart. : DM 208.00
Literaturangaben
Quelle: DNB
Computational logic
: first international conference ; proceedings / CL 2000, London, UK, July 2000. J. Lloyd ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1861 : Lecture notes in artificial intelligence)
ISBN 978-3-540-44957-7
Lizenzpflichtig
Quelle: DNB
Computational logic and proof theory
: proceedings / Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993. Georg Gotttlob ... (ed.). - Berlin : Springer, 1993. - XI, 348 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 713)
ISBN 978-3-540-57184-1 / 3-540-57184-1 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Computational logic in multi-agent systems
: 8th international workshop ; revised selected and invited papers / CLIMA VIII, Porto, Portugal, September 10 - 11, 2007. Fariba Sadri ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5056 : Lecture notes in artificial intelligence)
ISBN 978-3-540-88833-8
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 7th international workshop ; revised selected and invited papers / CLIMA VII, Hakodate, Japan, May 8 - 9, 2006. Katsumi Inoue ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4371 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69619-3
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 6th international workshop ; revised selected and invited papers / CLIMA VI, London, UK, June 27 - 29, 2005. Francesca Toni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3900 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33997-7
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 5th international workshop ; revised selected and invited papers / CLIMA V, Lisbon, Portugal, September 29 - 30, 2004. João Leite ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3487 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31857-6
Lizenzpflichtig
Quelle: DNB
Computational logic: logic programming and beyond
/ Antonis C. Kakas ; Fariba Sadri (ed.). - Berlin : Springer, 2002. - XII, 628 S. : Ill., graph. Darst. - (Lecture notes in computer science; Vol. 2408 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43960-8 / 3-540-43960-9 kart. : EUR 73.83
Quelle: DNB
Computational logic: logic programming and beyond
/ Antonis C. Kakas ; Fariba Sadri (ed.). - Berlin : Springer, 2002. - XII, 678 S. : Ill., graph. Darst. - (Lecture notes in computer science; Vol. 2407 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43959-2 / 3-540-43959-5 .kart : EUR 73.83
Quelle: DNB
Computational materials design
/ T. Saito (ed.). - Berlin : Springer, 1999. - VIII, 296 S. : Ill., graph. Darst.; 25 cm - (Springer series in materials science; 34)
ISBN 978-3-540-64377-7 / 3-540-64377-X Pp. : DM 179.00
Literaturangaben
Quelle: DNB
