Original language | English |
---|---|
Title of host publication | Tagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970) |
Place of Publication | Bonn |
Publisher | Gesellschaft für Mathematik und Datenverarbeitung |
Pages | 27-29 |
Publication status | Published - 1970 |
Automath, a language for checking mathematics with a computer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review