The use of CAI to enhance human interaction in the learning of deductive proof construction
- 1 January 1988
- journal article
- Published by Springer Nature in Computers and the Humanities
- Vol. 22 (4) , 277-284
- https://doi.org/10.1007/bf00118603
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Current State of Computer-Assisted Instruction for LogicTeaching Philosophy, 1986
- ETHICAL CONCERNS IN COMPUTER-ASSISTED INSTRUCTION,*Metaphilosophy, 1985
- Computation in the philosophy curriculumComputers and the Humanities, 1984
- Computer-Assisted Instruction Augmented with Planned Teacher/Student ContactsThe Journal of Experimental Education, 1980
- The genetic graph: a representation for the evolution of procedural knowledgeInternational Journal of Man-Machine Studies, 1979
- Performance models of undergraduate students on computer-assisted instruction in elementary logicInstructional Science, 1978