Publikation:
The Sequent Calculus Calculator
Datum
2019
bachelor_thesis
Kamm, M., & Marti, M. (2019). The Sequent Calculus Calculator. https://orix.ost.ch/handle/item/19784
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | Departement Informatik |
|---|---|
| Institut | Abteilung Informatik |
| Institution | HSR Hochschule für Technik Rapperswil |
| Studienabschluss | Bachelor of Science (BSc) |
| Studiengang | Computer Science |
| Titel | The Sequent Calculus Calculator |
| Autor / Autor:in | Kamm, Matteo, Marti, Mike |
| Betreuer:in | Mehta, Farhad D. |
| Datum der Veröffentlichung | 2019-06-13 |
| submissions.sections.form.dc.identifier.eprints.label | 798 |
| Thematische Schwerpunkte (Schlagwörter) | Web based Academic and Education IFS (Institute for Software) |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße2.21 MB
Lizenzbestimmung:
