Resultados de 11 a 20 de 70 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Annual Review Of Computer Science
| 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 |
Resultados de 11 a 20 de 70 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Technology (41)
- Science & Technology (41)
- Computer Science, Information Systems (41)
- Computer Science (41)
- Periodicals (1)
- Electronic Data Processing (1)
- Computers (1)
-
Mais opções
Base de Dados/Biblioteca
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 