Machinale verificatie van redeneringen : een beschrijving van het Automath project

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    29 Downloads (Pure)
    Original languageDutch
    Title of host publicationBewijzen in de wiskunde / onder red. van P.W.H. Lemmens
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Pages61-80
    ISBN (Print)90-6196-373-7
    Publication statusPublished - 1989

    Publication series

    NameCWI syllabus
    Number24

    Cite this