1.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
2.
|
Analysis of a duo-selecting membrane reactor for the water-gas shift Hardy, AliciA Jillian Jackson, 1978-
|
3.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|
4.
|
On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor diSessa, Andrea A.
|
5.
|
Border-crossing knowledge networking among multinational firms : the case of R&D facilities Shirvani-Mahdavi, Ali (Ali Agha), 1965-
|
6.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
7.
|
Re-engineering knowledge networks for development Raghavan, Amrith, 1976-
|
8.
|
Learning and Reasoning by Analogy: The Details Winston, Patrick H.
|
9.
|
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis Shrobe, Howard E. - Waters, Richard C. - Sussman, Gerald J.
|
10.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|