The Automath mathematics checking project

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

27 Downloads (Pure)
Original languageEnglish
Title of host publicationAPLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973
EditorsP. Braffort
Place of PublicationParis
PublisherUniversité Paris Sud
Volume1
Publication statusPublished - 1974

Cite this

Bruijn, de, N. G. (1974). The Automath mathematics checking project. In P. Braffort (Ed.), APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973 (Vol. 1). Paris: Université Paris Sud.
Bruijn, de, N.G. / The Automath mathematics checking project. APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973. editor / P. Braffort. Vol. 1 Paris : Université Paris Sud, 1974.
@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",

}

Bruijn, de, NG 1974, The Automath mathematics checking project. in P Braffort (ed.), APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973. vol. 1, Université Paris Sud, Paris.

The Automath mathematics checking project. / Bruijn, de, N.G.

APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973. ed. / P. Braffort. Vol. 1 Paris : Université Paris Sud, 1974.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - The Automath mathematics checking project

AU - Bruijn, de, N.G.

PY - 1974

Y1 - 1974

M3 - Conference contribution

VL - 1

BT - APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973

A2 - Braffort, P.

PB - Université Paris Sud

CY - Paris

ER -

Bruijn, de NG. The Automath mathematics checking project. In Braffort P, editor, APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973. Vol. 1. Paris: Université Paris Sud. 1974