Normal view
MARC view
Relational Methods in Computer Science Электронный ресурс 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
Material type:
Computer fileSeries: Lecture Notes in Computer Science 3929 ; 3929Publication details: Berlin Heidelberg Springer-Verlag GmbH. 2006ISBN: 9783540333401Subject(s): Algebra -- Data processing | Artificial intelligence | Computational complexity | Computer Science | Logic design | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Software Engineering | Symbolic and Algebraic ManipulationOnline resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.