Präzises Denken für Informatiker - Wolf, Karsten 1967- (Springer Berlin Heidelberg, 2017)
Keywords: Computer science; Algorithms; Mathematical logic; Computer science / Mathematics; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Algorithm Analysis and Problem Complexity; Symbolic and Algebraic Manipulation; Lehrbuch