The use of paragraphs in AUTOMATH

I. Zandleven

    Research output: Book/ReportReportPopular

    25 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages4
    Publication statusPublished - 1977

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume7705

    Cite this