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 MB, PDF-document

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

Download statistics

No data available

ID: 402441