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)
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Related Items
Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician, N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
Uses Software
