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 / Fach: Germanistik
Fakultät für Geisteswissenschaften

Dieser Eintrag ist freigegeben.