EnglishUS

LanguageCountry / market

Market controls currency, catalogue and payment options; it does not change your language.

English

LISP Programming And Proving

LISP: Programming and Proving (1980) Course notes for CS 206: Computing with Symbolic Expressions, taught by John McCarthy at Stanford University.

Digital editions

LISP · Artificial Intelligence · Stanford University · CS 206 · John McCarthy · Carolyn Talcott · Computer Science · Programming Languages