skip to main content
Idioma:
Refinado por: tipo de recurso: Livros remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
2
Geographic Information Retrieval: Progress and Challenges in Spatial Search of Text
Geographic Information Retrieval: Progress and Challenges in Spatial Search of Text
Material Type:
Livro 		Adicionar ao Meu Espaço

Geographic Information Retrieval: Progress and Challenges in Spatial Search of Text

Purves, Ross S. ; Clough, Paul ; Jones, Christopher B. ; Hall, Mark H. ; Murdock, Vanessa

Foundations and trends in information retrieval, 2018, Vol.12 (2-3), p.164-318 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
3
An Introduction to Neural Information Retrieval
An Introduction to Neural Information Retrieval
Material Type:
Livro 		Adicionar ao Meu Espaço

An Introduction to Neural Information Retrieval

Miutra, Bhaskar ; Craswell, Nick

Foundations and trends in information retrieval, 2018, Vol.13 (1), p.1-126 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
4
Groupware: Design, Implementation, and Use: 8th International Workshop, CRIWG 2002 La Serena, Chile, September 1–4, 2002 Proceedings
Groupware: Design, Implementation, and Use: 8th International Workshop, CRIWG 2002 La Serena, Chile, September 1–4, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Groupware: Design, Implementation, and Use: 8th International Workshop, CRIWG 2002 La Serena, Chile, September 1–4, 2002 Proceedings

Haake, Jörg M ; Pino, José A Haake, Jörg M. ; Pino, José A.

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
5
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Slind, Konrad ; Bunker, Annette ; Gopalakrishnan, Ganesh C Bunker, Annette ; Gopalakrishnan, Ganesh ; Slind, Konrad

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.