You are here: TUCS > PUBLICATIONS > Publication Search > Learning Mathematics with a Th...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Learning Mathematics with a Theorem Prover
Joakim von Wright, Learning Mathematics with a Theorem Prover. In: International Conference on Technology in Mathematics Teaching (ICTMT4), 1999.
Abstract:
http://www.tucs.fi/Publications/proceedings/pWright99a.php
BibTeX entry:
@INPROCEEDINGS{pWright99a,
title = {Learning Mathematics with a Theorem Prover},
booktitle = {International Conference on Technology in Mathematics Teaching (ICTMT4)},
author = {Wright, Joakim von},
year = {1999},
}