Login / Signup

Math Literate Knowledge Management via Induced Material.

Mihnea IancuMichael Kohlhase
Published in: CICM (2015)
Keyphrases