Ong, Luke.
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / [electronic resource] : edited by Luke Ong. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3634 0302-9743 ; . - Lecture Notes in Computer Science, 3634 .
9783540318972
10.1007/11538363 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / [electronic resource] : edited by Luke Ong. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3634 0302-9743 ; . - Lecture Notes in Computer Science, 3634 .
9783540318972
10.1007/11538363 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131