Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hermes, Hans (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin u.a. Springer 1971
Ausgabe:	2. Aufl.
Schriftenreihe:	Heidelberger Taschenbücher 87
Schlagworte:	Recursive functions > Algorithms > Gödel's theorem > Computable functions > Rekursionstheorie > Entscheidbarkeit > Berechenbarkeit
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	X, 246 S.
ISBN:	3540053344 3-540-05334-4 0387053344 0-387-05334-4