Justifications under the Fixed-Domain Semantics

From International Center for Computational Logic

Revision as of 11:27, 14 February 2018 by Lukas Schweizer (talk | contribs) (Page created automatically by parser function on page Thema3505)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Justifications under the Fixed-Domain Semantics

Master's thesis by Satyadharma Tirtarasa

Supervisor Sebastian Rudolph, Lukas Schweizer
Computational Logic
– 28 September 2017

(Description available only in German) Unfortunately, there is no description available.

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Thema3505/en&oldid=25118"