Uniform approximation-theoretic semantics for logic programs with external atoms
Christian Antić · reposiTUm (TU Wien) · 2012
Erklärung zur Verfassung der ArbeitChristian Antić, B.Sc. Werndlgasse 8/5 1210 Wien Hiermit erkläre ich, dass ich diese Arbeit selbständig verfasst habe, dass ich die verwendeten Quellen und Hilfsmittel vollständig angegeben habe und dass ich die Stellen der Arbeit -einschließlich Tabellen, Karten und Abbildungen -, die anderen Werken oder dem Internet im Wortlaut oder dem Sinn nach entnommen sind, auf jeden Fall unter Angabe der Quelle als Entlehnung kenntlich gemacht habe.