TY - BOOK AU - Swart, Harrie., ED - RAMICS 2011. TI - Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings SN - 9783642210709 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Algebra KW - Data processing KW - Artificial intelligence KW - Computer simulation UR - http://dx.doi.org/10.1007/978-3-642-21070-9 ER -