scientific article
From MaRDI portal
Publication:2889489
zbMath1239.01112MaRDI QIDQ2889489
No author found.
Publication date: 7 June 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker ⋮ Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
This page was built for publication:
