Kahl, Wolfram.Griffin, Timothy G. (Eds.) () Relational and Algebraic Methods in Computer Science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
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.
|Names:||Kahl, Wolfram. | Griffin, Timothy G.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
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.|