Computational linguistics and intelligent text processing
: 4th international conference ; proceedings / CICLing 2003, Mexico City, Mexico, February 16 - 22, 2003. Alexander Gelbukh (ed.). - Berlin : Springer, 2003. - XV, 648 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2588)
ISBN 978-3-540-00532-2 / 3-540-00532-3 kart. : EUR 77.04
Literaturangaben
Quelle: DNB
Computational logic
: [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997] / ed. by Ulrich Berger ; Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1999. - 444 S. : graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 165)
ISBN 978-3-540-64589-4 / 3-540-64589-6 Pp. : DM 179.00
Literaturangaben
Quelle: DNB
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
