Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / [electronic resource] :
edited by Symeon Bozapalidis, George Rahonis.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4728 0302-9743 ; .
9783540754145
Computer science Software engineering Logic design Algebra--Data processing Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Symbolic and Algebraic Manipulation