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