Original language | English |
---|---|

Title of host publication | Proceedings of the Workshop on Mathematical Assistants and Theorem Provers |

Pages | 101-112 |

Number of pages | 13 |

Publication status | Published - 1994 |

# The cognitive properties of graphical and algebraic representations

Jon Oberlander, Keith Stenning, C. Gurr, Richard Cox

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