Prof. Dr. Joachim Biskup
by Prof Dr. Jens Teubner . Publications Please consult DBLP . Teaching Joachim Biskup presented courses on a broad range of topics in computer science, ranging from mathematical logic, theorem proving [...] Systems", Springer 2009, have evolved from the corresponding lectures. The material to selected courses is still available: Sequentielle Programmierung und Programmierkurs MODULA-2 (in German), 1994 M …