Catalog

Record Details

Catalog Search



Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt.

Electronic resources

Record details

  • ISBN: 9783540378747
  • Physical Description: XI, 433 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: 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.

Additional Resources