Eintrag weiter verarbeiten
Proceedings 6th International Workshop on Theorem proving components for Educational software: Gothenburg, Sweden, 6 Aug 2017
Gespeichert in:
| Personen und Körperschaften: | , , , |
|---|---|
| Titel: | Proceedings 6th International Workshop on Theorem proving components for Educational software: Gothenburg, Sweden, 6 Aug 2017/ edited by: Pedro Quaresma and Walther Neuper |
| Medientyp: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
[Waterloo, NSW]
[Open Publishing Association]
2nd March 2018
|
| Gesamtaufnahme: |
Electronic proceedings in theoretical computer science ; 267
|
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |