Justifications under the Fixed-Domain Semantics

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

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.