A characterization of stable models using a non-monotonic operator:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Teusink, Frank (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Amsterdam Centrum voor Wiskunde en Informatica 1993
Beschreibung:21 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!