Properties of a Logical System in the Calculus of Structures
Aus International Center for Computational Logic
Properties of a Logical System in the Calculus of Structures
Masterarbeit von Alwen Fernanto Tiu
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- 17. Mai 2001 – 17. Mai 2001