Edinburgh Research Explorer

Automation of Diagrammatic Proofs in Mathematics

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
JournalPerspectives on Cognitive Science
Volume3
StatePublished - 1997

Download statistics

No data available

ID: 402852