Title: Programming Languages: Implementations, Logics, and Programs
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics)