A verifying program for Automath

I. Zandleven

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    1 Citaat (Scopus)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'A verifying program for Automath'. Samen vormen ze een unieke vingerafdruk.

    Kunst en humaniteit