Resolution-Based Theorem Proving for -Logics.
FTP (LNCS Selection). 1998 S. 267 - 281
Erscheinungsjahr: 1998
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/3-540-46508-1_18
Geprüft | Bibliothek |
FTP (LNCS Selection). 1998 S. 267 - 281
Erscheinungsjahr: 1998
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/3-540-46508-1_18
Geprüft | Bibliothek |