"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org) 9 points by mself 3mo ago ↗ HN
[–] mself 3mo ago ↗ This 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.
1 comment
[ 1.0 ms ] story [ 12.2 ms ] threadThese 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.