Submitted by egdaylight on
Dated:
28 February 1981
In a letter to Nils J. Nilsson, Dijkstra expressed his misgivings about research in artificial intelligence (AI). Only automatic theorem proving deserved his appraisal. (EWD778)
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth
