TU Darmstadt / ULB / TUbiblio

The halting problem: an automatically generated proof

Egly, Uwe ; Rath, :
The halting problem: an automatically generated proof.
In: AAR-newsletter. 30 (1995), S. 10-16
[Artikel], (1995)

Typ des Eintrags: Artikel
Erschienen: 1995
Autor(en): Egly, Uwe ; Rath,
Titel: The halting problem: an automatically generated proof
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: AAR-newsletter. 30 (1995), S. 10-16
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:00
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen