The Naproche System
In: Calculemus 2009 Emerging Trends (Calculemus 2009; The 16th Syposium on the Integration of Symbolic Comoutation and Mechanised Reasoning) / Dixon, Lucas; Carette, Jacques (Hrsg.). - Ontario, Canada, 2009, S. 10 - 20
2009Buchaufsatz/Kapitel in Sammelwerk
GermanistikFakultät für Geisteswissenschaften
Titel:
The Naproche System
Autor*in:
Kühlwein, Daniel;Cramer, Marcos;Koepke, Peter;Schröder, BernhardUDE
- LSF ID
- 48942
- ORCID
- 0000-0002-7847-1393
- Sonstiges
- der Hochschule zugeordnete*r Autor*in