Title: Relational and Algebraic Methods in Computer Science
Subjects: Computer science, mathematics, Artificial Intelligence (incl. Robotics), Software engineering, Computer science, Logic design, Computational complexity, Algebra, Data processing, Artificial intelligence, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Discrete Mathematics in Computer Science