Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /

Show other versions (1)
Bibliographic Details
Main Author: Baaz, Matthias
Corporate Author: SpringerLink (Online service)
Other Authors: Makowsky, Johann M
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003
Series:Lecture notes in computer science, 2803
Subjects:
Artificial intelligence
Computer science
Logic design
Logic, Symbolic and mathematical
Artificial Intelligence (incl. Robotics)
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items