Hyper Tableaux and Disjunctive Logic Programming
ICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Erscheinungsjahr: 1996
Publikationstyp: Diverses
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
