Berghammer, Rudolf.

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings / [electronic resource] : edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4988 0302-9743 .

9783540789130


Computer science
Software engineering
Algebra--Data processing
Artificial intelligence
Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
Software Engineering

QA10 / B47 2008