Kühlwein, Daniel; Cramer, Marcos; Koepke, Peter; Schröder, Bernhard:
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-1393ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
WWW URL:
http://www.calculemus.net/meetings/ontario09/trends-09.pdf
Erschienen in
Calculemus 2009 Emerging Trends (Calculemus 2009; The 16th Syposium on the Integration of Symbolic Comoutation and Mechanised Reasoning)
Herausgeber*in:
Dixon, Lucas;Carette, Jacques
Erscheinungsort:
Ontario, Canada
Erscheinungsjahr:
2009
in:
S. 10 - 20