Proving theorems by reuse.

Christoph Walther Thomas Kolbe

Published in: Artif. Intell. (2000)

Keyphrases

three dimensional
learning objects
software reuse
database
case retrieval
image processing
multiscale
language learning