Quelltext der Seite Thema3464

Aus International Center for Computational Logic

Wechseln zu:Navigation, Suche

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Du kannst den Quelltext dieser Seite betrachten und kopieren.

{{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
|Vorname=Alwen
|Nachname=Fernanto Tiu
|Abschlussarbeitstyp=Master
|Betreuer=Steffen Hölldobler
|Forschungsgruppe=Wissensverarbeitung
|Abschlussarbeitsstatus=Abgeschlossen
|Beginn=2001
|Abgabe=2001
}}

Folgende Vorlagen werden auf dieser Seite verwendet:

Zurück zur Seite Thema3464.

Abgerufen von „https://iccl.inf.tu-dresden.de/web/Thema3464“