Title: Conceptual Modelling and Its Theoretical Foundations
Subjects: Mathematical Logic and Formal Languages, Models and Principles, Software engineering, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Simulation methods, System design