Programming Languages: Implementations, Logics, and Programsde Hugh Glaser, Pieter Hartel, Herbert KuchenMateriasMathematical Logic and Formal LanguagesProgramming TechniquesLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersArtificial intelligenceArtificial Intelligence (incl. Robotics)
AAn applicative language in the introductory programming unitAn applicative language in the introductory programming unit
PParallel and symbolic computing in the undergraduate curricuParallel and symbolic computing in the undergraduate curriculum
