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
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
