Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath

zbMATH Open1055.68002MaRDI QIDQ701700FDOQ701700

Authors:

Publication date: 16 December 2004

Published in: Applied Logic Series (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (4)

• Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
• The middle ground-ancestral logic
• N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
• Applicable mathematics in a minimal computational theory of sets

Uses Software

• Automath

This page was built for publication: Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701700)