10 ms·
"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)
- mself 7mo agoThis important unpublished work was not available anywhere online, so I scanned my copy. These are the course notes for CS 206: Computing with Symbolic Expressions taught by John McCarthy at Stanford University in the 70s, 80s, and 90s. I printed this copy in 1984 while working as an intern for Nils Nilsson at SRI's AI Center.