Ésik, Zoltán.
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / [electronic resource] : edited by Zoltán Ésik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4207 0302-9743 ; . - Lecture Notes in Computer Science, 4207 .
9783540454595
10.1007/11874683 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 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / [electronic resource] : edited by Zoltán Ésik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4207 0302-9743 ; . - Lecture Notes in Computer Science, 4207 .
9783540454595
10.1007/11874683 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