Edinburgh Research Explorer

On Automating Diagrammatic Proofs of Arithmetic Arguments

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
JournalJournal of Logic, Language and Information
Volume8
Issue number3
StatePublished - 1999

Download statistics

No data available

ID: 402441