Automath, a language for checking mathematics with a computer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970)
Place of PublicationBonn
PublisherGesellschaft für Mathematik und Datenverarbeitung
Pages27-29
Publication statusPublished - 1970

Cite this