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

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

Bibliographic Details
Published in:Springer e-books
Main Author: MacCaull, Wendy
Corporate Author: SpringerLink (Online service)
Other Authors: Düntsch, Ivo, Winter, Michael
Format: eBook
Language:English
Published: Berlin Heidelberg Springer-Verlag GmbH. 2006
Series:Lecture Notes in Computer Science 3929
Subjects:
Algebra > Data processing
Artificial intelligence
Computational complexity
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Symbolic and Algebraic Manipulation
Online Access:http://dx.doi.org/10.1007/11734673
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/11734673
Перейти в каталог НБ ТГУ

Similar Items