1.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
2.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
3.
|
Meta-Rules: Reasoning About Control Davis - Randall
|
4.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
5.
|
Infants in Children Stories - Toward a Model of Natural Language Comprehension Meyer, Garry S.
|
6.
|
Hypothesis Formation and Evaluation in Medical Diagnosis Rubin, Ann D.
|
7.
|
Information technology and business transformation : work location and the allocation of decision rights Fitoussi, David, 1974-
|
8.
|
Linear Separation and Learning Minsky, Marvin - Papert, Seymour
|
9.
|
The Image Irradiance Equation: Its Solution and Application Bruss, Anna R.
|
10.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|