Het Automath-project

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

36 Downloads (Pure)
Original languageDutch
Title of host publicationNadenken over onderzoek : enkele voorbeelden : symposium tijdens de viering van het vierde lustrum van de T.H. Eindhoven, april 1976)
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Pages14-18
Publication statusPublished - 1976

Cite this