共 50 条
- [41] SOLVING THE ROGERS PROBLEM OF THE RELATIONSHIP BETWEEN STRONG AND WEAK RECURSION THEOREMS DOKLADY AKADEMII NAUK SSSR, 1984, 279 (05): : 1040 - 1044
- [44] Problem-solving, proving, and learning: The relationship between problem-solving processes and learning opportunities in the activity of proof construction JOURNAL OF MATHEMATICAL BEHAVIOR, 2005, 24 (3-4): : 351 - 360
- [45] A Mathematical Model of a Computational Problem Solving System INTERNATIONAL CONFERENCE ON MATHEMATICS, ENGINEERING AND INDUSTRIAL APPLICATIONS 2014 (ICOMEIA 2014), 2015, 1660
- [46] A COMPUTATIONAL MODEL OF ANALOGICAL PROBLEM-SOLVING SIMILARITY AND ANALOGICAL REASONING, 1989, : 242 - 266
- [48] Implementing Problem Solving Environments for computational science EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1345 - 1349
- [49] A COMPUTATIONAL INVESTIGATION OF EXPERTISE IN PROBLEM-SOLVING ADVANCES IN AI AND SIMULATION, 1989, 20 : 170 - 175
- [50] Using computational tools to enhance problem solving Computers in Education Journal, 2010, 20 (04): : 101 - 112