1.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
2.
|
The Use of Equality in Deduction and Knowledge Representation McAllester, David Allen
|
3.
|
Foundations of Actor Semantics Clinger, William Douglas
|
4.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
5.
|
Inspection Methods in Programming Rich, Charles
|
6.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
7.
|
Creation of Computer Animation from Story Descriptions Kahn, Kenneth Michael
|
8.
|
KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods Yip, Kenneth Man-Kam
|
9.
|
Model-Based Troubleshooting of Digital Systems Hamscher, Walter Charles
|
10.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|