| 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 |
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.
@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 proceeding › Conference contribution › Academic
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