A framework for the description of a number of members of the AUTOMATH family

N.G. Bruijn, de

Research output: Book/ReportReportPopular

33 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages11
Publication statusPublished - 1974

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7408

Cite this