Pages that link to "Item:Q701700"
From MaRDI portal
The following pages link to Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath (Q701700):
Displayed 4 items.
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician (Q740456) (← links)
- N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)