Knihu momentálně nemáme skladem
Berechnungstheorie für Informatiker
Autoři
Více o knize
InhaltsverzeichnisI.1 Berechenbarkeit, Aufzählbarkeit.2 Automaten und formale Sprachen.3 Fixpunkttheorie.4 Syntaktische Strukturen.II.5 Gödelisierung und Universalprogramme.6 Unlösbare Probleme der Informatik.7 Rekursive Prozeduren.Bibliographische Schlussbemerkungen.
Vydání
Nákup knihy
Jakmile ji vyčmucháme, pošleme vám e-mail.