Hyper tableaux

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Niemelä, Ilkka Implementing circumscription using a tableau method
1. Verfasser:	Baumgartner, Peter (VerfasserIn)
Weitere Verfasser:	Furbach, Ulrich (VerfasserIn), Niemelä, Ilkka (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1996
Schriftenreihe:	Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik 96,8
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Keine Beschreibung verfügbar.