Catalog

Record Details

Catalog Search


Back To Results
Showing Item 2 of 2

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers  Cover Image E-book E-book

Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis.

Record details

  • ISBN: 9783540754145
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subject: 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.

Electronic resources


Back To Results
Showing Item 2 of 2

Additional Resources