Title: Computational Logic CL 2000 00
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Database management, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer science