Publikation:
The Sequent Calculus Calculator
Datum
2019
Bachelorarbeit
Kamm, M., & Marti, M. (2019). The Sequent Calculus Calculator. https://orix.ost.ch/handle/20.500.14978/19784
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Institution | HSR Hochschule für Technik Rapperswil |
| Studienabschluss | Bachelor of Science (BSc) |
| Studiengang | Computer Science |
| Titel | The Sequent Calculus Calculator |
| Autor:in | |
| Betreuer:in | |
| Datum der Veröffentlichung | 2019 |
| eprints-ID | 798 |
| Thematische Schwerpunkte | Web based Academic and Education IFS (Institute for Software) |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße2.21 MB
Lizenzbestimmung:
