Catalog

Record Details

Catalog Search

Search Results filters

Filtered by:

Language

English
×

Search Results Showing Item 1 of 2

Algebraic Informatics [electronic resource] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / edited by Symeon Bozapalidis, George Rahonis.

Electronic resources

Record details

  • ISBN: 9783642035647
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: 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.
Search Results Showing Item 1 of 2

Additional Resources