skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Automatic Theorem Proving remover assunto: Mathematical Logic And Foundations remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Stuckey, Peter J Stuckey, Peter J.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
12
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F ; Camilleri, Juanito Melham, Thomas F. ; Camilleri, Juanito

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
13
Automated Model Building
Automated Model Building
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Model Building

Caferra, Ricardo ; Leitsch, Alexander ; Peltier, Nicolas

Dordrecht: Springer Netherlands 2004

Texto completo disponível

Citações Citado por
14
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E ; Windley, Philip J ; Alves-Foss, James Windley, Philip J. ; Thomas Schubert, E. ; Alves-Foss, James

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
15
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Parigot, Michel ; Voronkov, Andrei Parigot, Michel ; Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
16
Machine Learning for First-Order Theorem Proving: Learning to Select a Good Heuristic
Machine Learning for First-Order Theorem Proving: Learning to Select a Good Heuristic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Machine Learning for First-Order Theorem Proving: Learning to Select a Good Heuristic

Bridge, James P. ; Holden, Sean B. ; Paulson, Lawrence C.

Journal of automated reasoning, 2014-08, Vol.53 (2), p.141-172 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
17
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Voronkov, Andrei Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
18
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H Siekmann, Jörg H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
19
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Basin, David ; Rusinowitch, Michael Basin, David ; Rusinowitch, Michaël

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
20
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Callaghan, Paul ; Luo, Zhaohui ; McKinna, James ; Pollack, Robert Callaghan, Paul ; Luo, Zhaohui ; McKinna, James ; Pollack, Robert ; Pollack, Robert

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (31)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (51)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (5)
  2. 1987Até1994  (6)
  3. 1995Até1999  (20)
  4. 2000Até2005  (38)
  5. Após 2005  (9)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (3)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.