Minimal model generation based on E-hyper tableaux

Bibliographische Detailangaben

Veröffentlicht in:	A flexible system for constraint disjunctive logic programming
1. Verfasser:	Lu, Wenjin (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1996
Schriftenreihe:	Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik 96,20
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!