Bozapalidis, Symeon.
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / [electronic resource] : edited by Symeon Bozapalidis, George Rahonis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5725 0302-9743 ; . - Lecture Notes in Computer Science, 5725 .
9783642035647
10.1007/978-3-642-03564-7 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Software Engineering.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / [electronic resource] : edited by Symeon Bozapalidis, George Rahonis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5725 0302-9743 ; . - Lecture Notes in Computer Science, 5725 .
9783642035647
10.1007/978-3-642-03564-7 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Software Engineering.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
QA76.9.L63 QA76.5913 QA76.63
005.1015113