1. Heuristic DENDRAL : A Family of LISP Programs (17) HPP-69-1 AIM-80 Title: Heuristic DENDRAL : A Family of LISP Programs (17) HPP-69-1 AIM-80 Authors: Sutherland, Georgia L. Physical Description: 1 document ; 48 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 47, Folder: 25
2. A Multicontext Problem Solving System with Natural Language Inputs Title: A Multicontext Problem Solving System with Natural Language Inputs Authors: David J. Kuck Physical Description: 1 document ; 192 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 25
3. A Basis for a Mathematical Theory of Computation Title: A Basis for a Mathematical Theory of Computation Authors: McCarthy, John, 1927-2011 Physical Description: 1 document ; 22 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 53, Folder: 25
4. Programs with Common Sense Title: Programs with Common Sense Authors: McCarthy, John, 1927-2011 Physical Description: 1 document ; 6 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 53, Folder: 25
5. Programs with Common Sense Title: Programs with Common Sense Authors: McCarthy, John, 1927-2011 Physical Description: 1 document ; 5 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 53, Folder: 25
6. Lin, Shen - HEURISTIC TECHNIQUES FOR SOLVING LARGE COMBINATORIAL PROBLEMS ON A COMPUTER Title: Lin, Shen - HEURISTIC TECHNIQUES FOR SOLVING LARGE COMBINATORIAL PROBLEMS ON A COMPUTER Authors: Shen Lin Physical Description: 1 document ; 17 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 51, Folder: 25
