The Automath mathematics checking project

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

33 Downloads (Pure)

Originele taal-2	Engels
Titel	APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973
Redacteuren	P. Braffort
Plaats van productie	Paris
Uitgeverij	Université Paris Sud
Volume	1
Status	Gepubliceerd - 1974

Toegang tot document

@inproceedings{955590ce5082458ab0f49d6abfa4ddb9,

title = "The Automath mathematics checking project",

author = "{Bruijn, de}, N.G.",

year = "1974",

language = "English",

volume = "1",

editor = "P. Braffort",

booktitle = "APLASM 73 Symposium d{\'o}rsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973",

publisher = "Universit{\'e} Paris Sud",

}