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
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft