The Automath mathematics checking project

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

34 Downloads (Pure)

Original language	English
Title of host publication	APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973
Editors	P. Braffort
Place of Publication	Paris
Publisher	Université Paris Sud
Volume	1
Publication status	Published - 1974

Access to 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",

}