Consolution as a framework for comparing calculi
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (Fachberichte Informatik ; 1992,11)
Erscheinungsjahr: 1992
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
