The Markgraf Karl refutation procedure:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Walter, Christoph (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Karlsruhe [1982]
Schriftenreihe:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1982,35
Beschreibung:30 bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!