Bookbot

Berechnungstheorie für Informatiker

Más información sobre el libro

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.

Publicación

Compra de libros

Berechnungstheorie für Informatiker, Erwin Engeler

Idioma
Publicado en
1992
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña