Bookbot

Berechnungstheorie für Informatiker

Meer over het boek

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.

Uitgave

Een boek kopen

Berechnungstheorie für Informatiker, Erwin Engeler

Taal
Jaar van publicatie
1992
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief