Relational and Algebraic Methods in Computer Science  13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /  [electronic resource] : 
edited by Wolfram Kahl, Timothy G. Griffin. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XII, 361 p. 33 ill.) 
 - Lecture Notes in Computer Science,  7560  0302-9743 ; .
<br/><br/>Applications to Software Specification and Correctness -- Mechanised Resoning in Relational Algebras -- Algebraic Program DerivationTheoretical Foundations -- Incremental Pseudo Rectangular Organization of Information Relative -- Preference Relations -- Properties of Specialised Relations -- Author Index.  . 
<br/><br/><label>ISBN: </label>9783642333149 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Artificial intelligence.