1.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
2.
|
Towards a systematic repository of knowledge about managing collaborative design conflicts
|
3.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
4.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
5.
|
Single Machine Scheduling with Release Dates Goemans, Michel X. - Queyranne, Maurice - Schulz, Andreas S. - Skutella, Martin - Wang, Yaoguang
|
6.
|
Decision support tools for urban air quality management San Martini, Federico M. (Federico Matteo), 1973-
|
7.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
8.
|
Heuristic communications support systems for knowledge management Sekioka, Yasuyuki
|
9.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
10.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|