He, Xiangdong.
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / [electronic resource] : edited by Xiangdong He, John Horty, Eric Pacuit. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5834 0302-9743 ; . - Lecture Notes in Computer Science, 5834 .
9783642048937
10.1007/978-3-642-04893-7 doi
Computer science.
Information theory.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / [electronic resource] : edited by Xiangdong He, John Horty, Eric Pacuit. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5834 0302-9743 ; . - Lecture Notes in Computer Science, 5834 .
9783642048937
10.1007/978-3-642-04893-7 doi
Computer science.
Information theory.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131