Library
search
local_library
Repository
RN
R Nederpelt
View Pure Profile
Authored
1 records found
N.G. de Bruijn (1918-2012) and his road to automath, the earliest proof checker
Journal article -
F. Dechesne
,
R Nederpelt