Properties of a Logical System in the Calculus of Structures

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Properties of a Logical System in the Calculus of Structures

Masterarbeit von Alwen Fernanto Tiu

•   Betreuer Steffen Hölldobler
•   Wissensverarbeitung
•   12. September 2001 – 12. September 2001