Knowledge representation with logic programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dix, Jürgen (VerfasserIn)
Weitere Verfasser:	Brewka, Gerhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Koblenz-Landau Univ., Inst, für Informatik 1996
Schriftenreihe:	Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik 15/96
Schlagworte:	Forschungsbericht
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
DisLoP: a disjunctive logic programming system based on PROTEIN theorem prover	1996	Aravindan, Chandrabose