共 50 条
- [31] Resolution refutations and propositional proofs with height-restrictions COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 599 - 612
- [33] LOWER BOUNDS FOR THE LENGTHS OF REFUTATIONS JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (01): : 31 - 58
- [36] Informatics for the lower secondary school Barbero, Alberto, 1600, Associazione Italiana per l'Informatica e il Calcolo Automatico, Piazzale Rodolfo Morandi, 2, Milano, 20121, Italy (13):
- [38] CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks REDIMAT-REVISTA DE INVESTIGACION EN DIDACTICA DE LAS MATEMATICAS, 2019, 8 (03): : 232 - 266
- [39] THE EFFECTS OF "SPATIAL GEOMETRY CURRICULM WITH 3D DGS" IN LOWER SECONDARY SCHOOL MATHEMATICS PME 31: PROCEEDINGS OF THE 31ST CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 2, 2007, : 137 - +