Kaminski, Michael.
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / [electronic resource] : edited by Michael Kaminski, Simone Martini. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5213 0302-9743 ; . - Lecture Notes in Computer Science, 5213 .
9783540875314
10.1007/978-3-540-87531-4 doi
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 Foundations.
QA8.9-QA10.3
005.131
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / [electronic resource] : edited by Michael Kaminski, Simone Martini. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5213 0302-9743 ; . - Lecture Notes in Computer Science, 5213 .
9783540875314
10.1007/978-3-540-87531-4 doi
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 Foundations.
QA8.9-QA10.3
005.131