共 50 条
- [21] Proofs and Refutations in Invariant-Based Programming INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 189 - 204
- [23] High School Students’ Use of Diagrams in Geometry Proofs International Journal of Science and Mathematics Education, 2023, 21 : 737 - 759
- [25] PROOFS AND REFUTATIONS - LOGIC OF MATHEMATICAL DISCOVERY - LAKATOS,I BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1977, 28 (01): : 81 - 82
- [26] PROOFS AND REFUTATIONS - LOGIC OF MATHEMATICAL DISCOVERY - LAKATOS,I PHILOSOPHICAL QUARTERLY, 1978, 28 (111): : 169 - 171