Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Algebraic Methods for Geometric ReasoningBuchberger, B ; Collins, G E ; Kutzler, BAnnual review of computer science, 1988-06, Vol.3 (1), p.85-119Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
12 |
Material Type: Artigo
|
Knowledge Representation and ReasoningLevesque, H JAnnual review of computer science, 1986-06, Vol.1 (1), p.255-287Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
13 |
Material Type: Artigo
|
Algebraic Complexity TheoryGathen, J V ZAnnual review of computer science, 1988-06, Vol.3 (1), p.317-348Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
14 |
Material Type: Artigo
|
Reasoning Under UncertaintyPearl, JAnnual review of computer science, 1990-06, Vol.4 (1), p.37-72Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
15 |
Material Type: Artigo
|
Search TechniquesPearl, J ; Korf, R EAnnual review of computer science, 1987-06, Vol.2 (1), p.451-467Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
16 |
Material Type: Artigo
|
Research on Automatic Verification of Finite-State Concurrent SystemsClarke, E M ; Grumberg, OAnnual review of computer science, 1987-06, Vol.2 (1), p.269-290Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
17 |
Material Type: Artigo
|
Protein Folding: Computational Approaches to an Exponential-Time ProblemReeke, G NAnnual review of computer science, 1988-06, Vol.3 (1), p.59-84Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
18 |
Material Type: Artigo
|
Qualitative Student ModelsClancey, W JAnnual review of computer science, 1986-06, Vol.1 (1), p.381-450Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
19 |
Material Type: Artigo
|
Image AnalysisPavlidis, TAnnual review of computer science, 1988-06, Vol.3 (1), p.121-146Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
20 |
Material Type: Artigo
|
Commonsense Physics: A ReviewForbus, K DAnnual review of computer science, 1988-06, Vol.3 (1), p.197-232Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |