Thema3505: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Justifications under the Fixed-Domain Semantics |Titel EN=Justifications under the Fixed-Domain Semantics |Vorname=Satyadharma |Nac…“) |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 8: | Zeile 8: | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
|Abschlussarbeitsstatus=Abgeschlossen | |Abschlussarbeitsstatus=Abgeschlossen | ||
|Abgabe=2017/09/28 | |||
}} | }} | ||
Aktuelle Version vom 14. Februar 2018, 11:36 Uhr
Justifications under the Fixed-Domain Semantics
Masterarbeit von Satyadharma Tirtarasa
- Betreuer Lukas Schweizer, Sebastian Rudolph
- Computational Logic
- – 28. September 2017
