Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: MacCaull, Wendy (Επιμελητής έκδοσης), Winter, Michael (Επιμελητής έκδοσης), Düntsch, Ivo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3929
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).
• Φυσική περιγραφή: VIII, 262 p. online resource.
• ISBN: 9783540333401
• ISSN: 0302-9743 ;