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 |
The Automath mathematics checking project
N.G. Bruijn, de
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
33
Downloads
(Pure)