Computer programs for checking mathematical proofs (1961)

by J McCarthy
Venue:Proc. Amer. Math. Soc. Recursive Function Theory