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