A cognitive model of discovering commutativity

Markus Guhe, Alison Pease, Alan Smaill

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
CogMod: A congnitive model of axiom formulation and reformulation with application to AI and software engineering
Smaill, A. & Clark, A.
EPSRC
1/05/08 → 30/04/11
Project: Research