Why computer science students find formal reasoning frightening
- 1 December 1994
- journal article
- Published by Wiley in Journal of Computer Assisted Learning
- Vol. 10 (4) , 240-250
- https://doi.org/10.1111/j.1365-2729.1994.tb00299.x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and ImplementationCognitive Science, 1995
- The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programmingThe Journal of Logic Programming, 1988