Thema3464: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Properties of a logical system in the calculus of structures |Titel EN=Properties of a logical system in the calculus of structures…“) |
Serge Stratan (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Abschlussarbeit | {{Abschlussarbeit | ||
|Titel DE=Properties of a | |Titel DE=Properties of a Logical System in the Calculus of Structures | ||
|Titel EN=Properties of a | |Titel EN=Properties of a Logical System in the Calculus of Structures | ||
|Vorname=Alwen | |Vorname=Alwen | ||
|Nachname=Fernanto Tiu | |Nachname=Fernanto Tiu | ||
| Zeile 8: | Zeile 8: | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Abschlussarbeitsstatus=Abgeschlossen | |Abschlussarbeitsstatus=Abgeschlossen | ||
|Beginn=2001 | |||
|Abgabe=2001 | |Abgabe=2001 | ||
}} | }} | ||
Aktuelle Version vom 29. November 2016, 22:51 Uhr
Properties of a Logical System in the Calculus of Structures
Masterarbeit von Alwen Fernanto Tiu
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- 31. März 2001 – 31. März 2001
