Some abbreviations in the input language for Automath

N.G. de Bruijn

Research output: Book/ReportReportPopular

27 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherEindhoven University of Technology
Number of pages9
Publication statusPublished - 1972

Bibliographical note

Notitie 1972/15

Cite this