Old Web
English
Sign In
Acemap
>
Paper
>
Automated reasoning in elementary geometry: towards inquiry learning
Automated reasoning in elementary geometry: towards inquiry learning
2018
Beatrix Hauer
Zoltán Kovács
Tomás Recio
Pilar M. Vélez
Keywords:
Natural language processing
Automated reasoning
Artificial intelligence
Computer science
Human–computer interaction
elementary geometry
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]