Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bozapalidis, Symeon (Editor), Rahonis, George (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5725
• Subjects: Computer science.; Computer programming.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Programming Techniques.; Theory of Computation.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Software Engineering.
• Physical Description: X, 361 p. online resource.
• ISBN: 9783642035647
• ISSN: 0302-9743 ;