A Computational Framework For Understanding Mathematical Discourse (2003)

by C Zinn
Venue:Logic Journal of the IGPL