Kuich, Werner.

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / [electronic resource] : edited by Werner Kuich, George Rahonis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7020 0302-9743 ; . - Lecture Notes in Computer Science, 7020 .

9783642248979

10.1007/978-3-642-24897-9 doi


Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Software Engineering.

QA76.9.L63 QA76.5913 QA76.63

005.1015113

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue