Richard Manning Karp

• Some applications of logical syntax to digital computer programming