Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
RN
R Nederpelt
Academic Work (1)
Journal article (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
N.G. de Bruijn (1918-2012) and his road to automath, the earliest proof checker
Journal article (2013) -
F. Dechesne (author)
,
R Nederpelt (author)
