Automath, a language for checking mathematics with a computer

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelTagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970)
Plaats van productieBonn
UitgeverijGesellschaft für Mathematik und Datenverarbeitung
Pagina's27-29
StatusGepubliceerd - 1970

Citeer dit