Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Reflections on Computer ScienceHopcroft, John EAnnual review of computer science, 1990-06, Vol.4 (1), p.1-12Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
2 |
Material Type: Artigo
|
Nonmonotonic ReasoningReiter, RAnnual review of computer science, 1987-06, Vol.2 (1), p.147-186Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
3 |
Material Type: Artigo
|
Computer Algebra AlgorithmsKaltofen, EAnnual review of computer science, 1987-06, Vol.2 (1), p.91-118Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
4 |
Material Type: Artigo
|
Algorithmic Geometry of NumbersKannan, RAnnual review of computer science, 1987-06, Vol.2 (1), p.231-267Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
5 |
Material Type: Artigo
|
Computer Applications in ManufacturingVoelcker, H B ; Requicha, A A G ; Conway, R WAnnual review of computer science, 1988-06, Vol.3 (1), p.349-387Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
6 |
Material Type: Artigo
|
Fundamentals of Expert SystemsBuchanan, B G ; Smith, R GAnnual review of computer science, 1988-06, Vol.3 (1), p.23-58Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
7 |
Material Type: Artigo
|
Using Reasoning About Knowledge to Analyze Distributed SystemsHalpern, J YAnnual review of computer science, 1987-06, Vol.2 (1), p.37-68Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
8 |
Material Type: Artigo
|
Computer Applications in Education: A Historical OverviewKurland, D. Midian ; Kurland, Laura CAnnual review of computer science, 1987-06, Vol.2 (1), p.317-358Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
9 |
Material Type: Artigo
|
Type Architectures, Shared Memory, and the Corollary of Modest PotentialSnyder, LAnnual review of computer science, 1986-06, Vol.1 (1), p.289-317Palo Alto, CA 94303-0139: Annual ReviewsTexto completo disponível |
|
10 |
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 |