Skip to main navigation Skip to search Skip to main content

Some abbreviations in the input language for Automath

  • N.G. de Bruijn

Research output: Book/Report › Report › Popular

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

Bibliographical note

Notitie 1972/15

Access to Document

  • 597870Final published version, 224 KB

    Cite this