共 50 条
- [25] Resolution refutations and propositional proofs with height-restrictions COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 599 - 612
- [29] Discovery of mathematical knowledge by reformulation of false conjectures in an proofs and refutations environment ENSENANZA DE LAS CIENCIAS, 2015, 33 (03): : 117 - 136
- [30] Proofs and refutations in school mathematics: A task design in dynamic geometry environments PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10), 2017, : 187 - 194