Bookbot

Berechnungstheorie für Informatiker

More about the book

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.

Publication

Book purchase

Berechnungstheorie für Informatiker, Erwin Engeler

Language
Released
1992
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating