共 50 条
- [41] ELEMENTARY LOWER BOUNDS FOR THE LENGTHS OF REFUTATIONS LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 137 - 147
- [42] Discovery of mathematical knowledge by reformulation of false conjectures in an proofs and refutations environment ENSENANZA DE LAS CIENCIAS, 2015, 33 (03): : 117 - 136
- [44] Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (313): : 1 - 16
- [47] REPRESENTING SOLIDS AT LOWER SECONDARY SCHOOL EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2019, : 5850 - 5856
- [50] Geometry anxiety scale for secondary school students 3RD WORLD CONFERENCE ON EDUCATIONAL SCIENCES - 2011, 2011, 15 : 966 - 970