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: Revista
|
![]() |
|
3 |
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 |
4 |
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 |
5 |
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 |
6 |
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 |
7 |
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 |
8 |
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 |
9 |
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 |
10 |
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 |