De ideeën achter Automath

    Research output: Book/ReportReportPopular

    36 Downloads (Pure)
    Original languageDutch
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages10
    Publication statusPublished - 1985

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8512

    Cite this