Checking mathematics with computer assistance

N.G. Bruijn, de

    Research output: Contribution to journalArticlePopular

    41 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)8-15
    JournalNotices of the American Mathematical Society
    Volume38
    Issue number1
    Publication statusPublished - 1991

    Cite this