1.
|
RABBIT: A Compiler for SCHEME Steele, Guy Lewis, Jr.
|
2.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
3.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
4.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
5.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
6.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
7.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
8.
|
Preliminary Survey of Classical Statistical Techniques for Incorporation into Adaptive Evaluation Methodology Minkoff, Alan S.
|
9.
|
Predicting and managing system interactions at early phase of the product development process Dong, Qi, 1973-
|
10.
|
The Genetic Epistemology of Rule Systems Goldstein, Ira P.
|