A description of AUTOMATH and some aspects of its language theory

D.T. van Daalen

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

137 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the symposium on APL, Paris, December 1973
EditorsP. Bratfort
Publication statusPublished - 1973

Cite this