Das 1-Clausen-Verfahren in mehrsortiger Logik:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kopp, Jürgen (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Bonn Inst. f. Informatik 1987
Schriftenreihe:Informatik-Berichte 59
Beschreibung:V, 85 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!