Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik.
By: Ésik, Zoltán.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4207.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540454595.Subject(s): Computer science | Logic design | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and FoundationsDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.