There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 14

Record: found
Abstract: not found
Book Chapter: not found

The use of explicit plans to guide inductive proofs

Alan Bundy (1988)

0 comments Cited 18 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

ActiveMath: An Intelligent Tutoring System for Mathematics

Erica Melis, Jörg Siekmann (2004)

0 comments Cited 9 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Managing evolution and change in web-based teaching and learning environments

Claus Pahl (2003)

0 comments Cited 7 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 315-330

DOI: 10.1007/978-3-642-14128-7_27

SO-VID: 962de15a-27a0-4c22-8ca5-2b8183e199f1

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

A Programming Tutor for Haskell
Authors: Johan Jeuring, Alex Gerdes, Bastiaan Heeren
Interleaving Strategies
Authors: Bastiaan Heeren, Johan Jeuring

See all cited by

Adapting Mathematical Domain Reasoners

Read this book at

Related collections

Reviews of mathematical modeling in cancer

Most cited references 14

The use of explicit plans to guide inductive proofs

ActiveMath: An Intelligent Tutoring System for Mathematics

Managing evolution and change in web-based teaching and learning environments

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,444

Cited by 2