1.
|
Learning commonsense categorical knowledge in a thread memory system Stamatoiu, Oana L. (Oana Liana), 1981-
|
2.
|
Generating Circuit Tests by Exploiting Designed Behavior Shirley, Mark Harper
|
3.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
4.
|
Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P Zhao, Feng
|
5.
|
A Hybrid Intelligent System for Stamping Process Planning in Progressive Die Design Zhang, W.Y. - Tor, Shu Beng - Britton, G.A.
|
6.
|
Foundations of Actor Semantics Clinger, William Douglas
|
7.
|
Banking channel management : global trends and strategies Catalan, Renato Teixeira
|
8.
|
Obligations abroad : towards a just foreign policy Rothkin, Karen, 1966-
|
9.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
10.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|