Publikation:
The Sequent Calculus Calculator
Datum
2019
bachelor_thesis
Marti, M., & Kamm, M. (2019). The Sequent Calculus Calculator. https://orix.ost.ch/handle/item/16591
Zusätzliche Indizierung
| Institut | IFS |
|---|---|
| Studienabschluss | BSc |
| Studiengang | Informatik |
| Titel | The Sequent Calculus Calculator |
| Sprache | en |
| Autor / Autor:in | Marti, Mike, Kamm, Matteo |
| Betreuer:in | |
| Datum der Veröffentlichung | 2019-09-15 |
| Thematische Schwerpunkte (Schlagwörter) | Software |
| Weitere Angaben | BS Informatik |
Metriken
Zitationen
