The Automath mathematics checking project

N.G. Bruijn, de

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

33 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