Computational Logic CL 2000 00
Subtitle: First International Conference London, UK, July 2428, 2000 Proceedings
By: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
Series: Lecture Notes in Computer Science -- 1861,; Lecture notes in computer science -- 1861,
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2000
Place of publication: Berlin; Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540449577
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Database management; Logic design; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Artificial intelligence; Computer science