Philosophical aspects of computerized verification of mathematics

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Vingerafdruk Duik in de onderzoeksthema's van 'Philosophical aspects of computerized verification of mathematics'. Samen vormen ze een unieke vingerafdruk.

Engineering en materiaalwetenschappen