Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Swart, Harrie de (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Lecture Notes in Computer Science, 6663
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; 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).

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kl...