Einige Reduktionen des Entscheidungsproblems:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Skolem, Th. 1887-1963 (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Oslo Dybwad [in Komm.] 1936
Schriftenreihe:Norske Videnskaps-Akademi (Oslo). Mat.-Naturv. Klasse: Avhandlinger. 1936,6
Beschreibung:17 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!