Infinite-valued least model and game semantics for formula-based and normal logic programs

Zugl.: Tübingen, Univ., Diss., 2012

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lüdecke, Rainer (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München Verl. Dr. Hut 2012
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!