论文信息 - Formal Abstraction in Engineering Education--Challenges and Technology Support. - 字舞流文

Formal Abstraction in Engineering Education--Challenges and Technology Support.

Walther Neuper | Walther Neuper

[1] Tomás Recio,et al. Automated Theorem Proving in GeoGebra: Current Achievements , 2015, Journal of Automated Reasoning.

[2] Dines Bjøorner. Domain engineering : technology management, research and engineering , 2009 .

[3] Tommy Dreyfus. CONSTRUCTING ABSTRACT MATHEMATICAL KNOWLEDGE IN CONTEXT , 2015 .