Hyper Tableaux. Part I: Proof Procedure and Model Generation
Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996
Erscheinungsjahr: 1996
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
