"DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover
Görz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23
Erscheinungsjahr: 1996
Publikationstyp: Diverses
Autoren
Aravindan, C. (Autor)
Görz, G. (Herausgeber)
Hölldobler, S. (Herausgeber)
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
