Location & Availability for: Relational and Algebraic Methods in Comp

 Staff view

You must be logged in to Tag Records

Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /

edited by Wolfram Kahl, Timothy G. Griffin.

Book Cover
Names: Kahl, Wolfram. | Griffin, Timothy G.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7560
Topics: Computer science. | Software engineering. | Logic design. | Computational complexity. | Algebra - Data processing. | Artificial intelligence. | Computer Science. | Mathematical Logic and Formal Languages. | Symbolic and Algebraic Manipulation. | Logics and Meanings of Programs. | Software Engineering. | Artificial Intelligence (incl. Robotics). | Discrete Mathematics in Computer Science.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Relational and Algebraic Methods in Comp