Resolution-Based Theorem Proving for SHn-Logics
Ricardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281
Erscheinungsjahr: 2000
ISBN/ISSN: 978-3-540-67190-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-46508-1_18
| Geprüft | Bibliothek |
