An application of logic programming in pure mathematics

Michael Johnson, Richard Buckland

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)203-208
JournalAustralian Computer Science Communications
Volume15
Publication statusPublished - 1993

Cite this