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

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Lüdecke, Rainer de_DE
dc.date.accessioned 2013-10-24T15:43:17Z
dc.date.available 2013-10-24T15:43:17Z
dc.date.issued 2012 de_DE
dc.identifier.isbn 978-3-8439-0627-2 de_DE
dc.identifier.uri http://hdl.handle.net/10900/37242
dc.language.iso en de_DE
dc.publisher München : Hut de_DE
dc.relation.ispartofseries Informatik de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.title Infinite-valued least model and game semantics for formula-based and normal logic programs de_DE
dc.type PhDThesis de_DE
utue.artikel.swb 371988748 de_DE
utue.kommentar.intern Zugl.: Tübingen, Univ., Diss., 2012. de_DE
utue.personen.pnd Lüdecke, Rainer/371986834 de_DE
utue.personen.roh Lüdecke, Rainer de_DE
utue.publikation.seitengesamt 184 S. : graph. Darst. de_DE
utue.publikation.auflage 1. Aufl. de_DE
utue.titel.verfasserangabe Rainer Lüdecke de_DE
utue.publikation.abrufzeichen tdis de_DE
utue.publikation.swbdatum 1210 de_DE
utue.publikation.fachbereich 57 de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige