Pages that link to "Item:Q1935352"

The following pages link to N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352):

Displaying 3 items.

• Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician (Q740456) (← links)
• N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
• Axiomatic characterization of trace reachability for concurrent objects (Q6536350) (← links)