Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

The Automath mathematics checking project

  • N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

80 Downloads (Pure)
Originele taal-2Engels
TitelAPLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973
RedacteurenP. Braffort
Plaats van productieParis
UitgeverijUniversité Paris Sud
Volume1
StatusGepubliceerd - 1974

Citeer dit