Relational and Algebraic Methods in Computer Science [electronic resource] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings / edited by Harrie Swart.
By: Swart, Harrie.
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6663.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642210709.Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Artificial intelligence | Computer simulation | Computer Science | Mathematical Logic and Formal Languages | Symbolic and Algebraic Manipulation | Logics and Meanings of Programs | Software Engineering | Simulation and Modeling | Artificial Intelligence (incl. Robotics)DDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.