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.