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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Germanistik
Fakultät für Geisteswissenschaften
Titel:
The Naproche System
Autor(in):
Kühlwein, Daniel; Cramer, Marcos; Koepke, Peter; Schröder, Bernhard im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2009
Erschienen 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
WWW URL