Theoretische Informatik : eine umfassende Einführung - Erk, Katrin; Priese, Lutz, 1947- (Springer, 2008)
Keywords: informatika; formální jazyky; výroková logika; teorie složitosti; informatics; formal languages; propositional calculus; complexity theory; učebnice; textbooks