Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
From MaRDI portal
Publication:701700
zbMath1055.68002MaRDI QIDQ701700
No author found.
Publication date: 16 December 2004
Published in: Applied Logic Series (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (4)
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician ⋮ The middle ground-ancestral logic
Uses Software
This page was built for publication: Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
