Mj reduction for proving in predicate logic: extended abstract
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Readi Nasser, Rodrigo (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Kaiserslautern Univ. Fachbereich Informatik 1997
Schriftenreihe:Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht 291
Schlagworte:
Beschreibung:5 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!