De ideeën achter Automath

    Onderzoeksoutput: Boek/rapportRapportPopulair

    36 Downloads (Pure)
    Originele taal-2Nederlands
    Plaats van productieEindhoven
    UitgeverijTechnische Hogeschool Eindhoven
    Aantal pagina's10
    StatusGepubliceerd - 1985

    Publicatie series

    NaamEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8512

    Citeer dit