The Automath mathematics checking project

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

33 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