Towards a Computational Model of Embodied Mathematical Language (2009)

First Author: Pease. A

Attributed to: A cognitive model of axiom formulation and reformulation with application to AI and software engineering funded by EPSRC

No abstract provided

Type: Conference/Paper/Proceeding/Abstract