Login / Signup

Linking procedural and conceptual mathematical knowledge through CAL.

Djordje KadijevichLenni Haapasalo
Published in: J. Comput. Assist. Learn. (2001)
Keyphrases
  • mathematical knowledge
  • conceptual knowledge
  • theorem prover
  • computer software
  • theorem proving
  • procedural knowledge
  • object oriented
  • multimedia
  • machine learning
  • intelligent agents
  • search algorithm
  • proof planning