MacCaull, Wendy.
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / [electronic resource] : edited by Wendy MacCaull, Michael Winter, Ivo Düntsch. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3929 0302-9743 ; . - Lecture Notes in Computer Science, 3929 .
9783540333401
10.1007/11734673 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra--Data processing.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
QA8.9-QA10.3
005.131
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / [electronic resource] : edited by Wendy MacCaull, Michael Winter, Ivo Düntsch. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3929 0302-9743 ; . - Lecture Notes in Computer Science, 3929 .
9783540333401
10.1007/11734673 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra--Data processing.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
QA8.9-QA10.3
005.131