Logic programs and three-valued consequence operators

Aus International Center for Computational Logic

Version vom 17. Mai 2016, 19:56 Uhr von Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Logic programs and three-valued consequence operators |Titel EN=Logic programs and three-valued consequence operators |Vorname=Carr…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

Logic programs and three-valued consequence operators

Masterarbeit von Carroline Dewi Puspa Kencana Ramli

Betreuer Steffen Hölldobler
Wissensverarbeitung
– 14. April 2009
Download

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Thema3452&oldid=19548“

Abschlussarbeit