1.
|
Representing Knowledge of Large-Scale Space Kuipers, Benjamin J.
|
2.
|
Test Generation Guided Design for Testability Wu, Peng
|
3.
|
Inverse Metabolic Engineering of Synechocystis PCC 6803 for Improved Growth Rate and Poly-3-hydroxybutyrate Production Tyo, Keith E. - Stephanopoulos, Gregory
|
4.
|
Border-crossing knowledge networking among multinational firms : the case of R&D facilities Shirvani-Mahdavi, Ali (Ali Agha), 1965-
|
5.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
6.
|
Re-engineering knowledge networks for development Raghavan, Amrith, 1976-
|
7.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
8.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
9.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
10.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|