Bozapalidis, Symeon.
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4728 0302-9743 ; . - Lecture Notes in Computer Science, 4728 .
9783540754145
10.1007/978-3-540-75414-5 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4728 0302-9743 ; . - Lecture Notes in Computer Science, 4728 .
9783540754145
10.1007/978-3-540-75414-5 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113