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 (Eds.). - Ontario, Canada, 2009, pp. 10 - 20
2009book article/chapter in collection
German Language and Literature StudiesFaculty of Humanities
Title:
The Naproche System
Author:
Kühlwein, Daniel;Cramer, Marcos;Koepke, Peter;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Other
connected with university
WWW URL:
http://www.calculemus.net/meetings/ontario09/trends-09.pdf
Appears in
Calculemus 2009 Emerging Trends (Calculemus 2009; The 16th Syposium on the Integration of Symbolic Comoutation and Mechanised Reasoning)
Editor:
Dixon, Lucas;Carette, Jacques
Place of publication:
Ontario, Canada
Year of publication:
2009
in:
pp. 10 - 20