Relational and Algebraic Methods in Computer Science
Subtitle: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
By: edited by Harrie Swart
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6663
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642210693; 9783642210709
Subjects: Logic design; Computer simulation; Computer science; Software engineering; Algebra; Data processing; Artificial intelligence