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.
- v.: digital
- Lecture Notes in Computer Science, 3929 0302-9743 .
9783540333401
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