On Automating Diagrammatic Proofs of Arithmetic Arguments

M. Jamnik, Alan Bundy, I. Green

Research output: Contribution to journalArticlepeer-review

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

Cite this