The Automath mathematics checking project and its influence on teaching: contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985

N.G. Bruijn, de

    Research output: Book/ReportReportPopular

    37 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages19
    Publication statusPublished - 1985

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8501

    Cite this