On Automating Diagrammatic Proofs of Arithmetic Arguments - Edinburgh Research Explorer

Edinburgh Research Explorer

On Automating Diagrammatic Proofs of Arithmetic Arguments

Research output: Contribution to journal › Article

Export citation
[ RIS ]
[ BibTeX ]

M. Jamnik
Alan Bundy
I. Green

Related Edinburgh Organisations

School of Informatics

Open Access permissions

Open

Documents

Download as Adobe PDF
Accepted author manuscript, 18.2 MB, PDF document

Original language	English
Journal	Journal of Logic, Language and Information
Volume	8
Issue number	3
Publication status	Published - 1999

Download statistics

No data available

ID: 402441