A unified approach to theory reasoning
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 59 (Fachberichte Informatik ; 1992,15)
Erscheinungsjahr: 1992
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
