Machinale verificatie van redeneringen : een beschrijving van het Automath project

N.G. Bruijn, de

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukPopulair

    35 Downloads (Pure)
    Originele taal-2Nederlands
    TitelBewijzen in de wiskunde / onder red. van P.W.H. Lemmens
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Pagina's61-80
    ISBN van geprinte versie90-6196-373-7
    StatusGepubliceerd - 1989

    Publicatie series

    NaamCWI syllabus
    Nummer24

    Citeer dit