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
Refinado por: assunto: Automatic Theorem Proving remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theroem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA , August 14-18, 2000 : Proceedings
Theroem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA , August 14-18, 2000 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theroem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA , August 14-18, 2000 : Proceedings

Aagaard, Mark D ; Harrison, John

Berlin/Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
2
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John

Springer 2007

Texto completo disponível

Citações Citado por
3
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John Harrison, John ; Aagaard, Mark

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
4
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models

Almendros-Jiménez, Jesús M. ; Bofill, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginés ; Vázquez, Carlos ; Villaret, Mateu

Scalable Uncertainty Management, p.385-398 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Altenkirch, Thorsten ; Naraschewski, Wolfgang ; Reus, Bernhard Naraschewski, Wolfgang ; Reus, Bernhard ; Altenkirch, Thorsten

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
6
Diagrammatic Representation and Reasoning
Diagrammatic Representation and Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Diagrammatic Representation and Reasoning

Anderson, Michael ; Meyer, Bernd ; Olivier, Patrick Anderson, Michael ; Olivier, Patrick ; Meyer, Bernd

London: Springer London, Limited 2001

Texto completo disponível

Citações Citado por
7
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness

Anderson, R. ; Bledsoe, W. W.

Automation of Reasoning, p.321-330

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Refutations by Matings
Refutations by Matings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Refutations by Matings

Andrews

IEEE transactions on computers, 1976-08, Vol.C-25 (8), p.801-807 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
9
Resolution with Merging
Resolution with Merging
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Resolution with Merging

Andrews, P. B.

Automation of Reasoning, p.85-101

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Theorem Proving via General Matings
Theorem Proving via General Matings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theorem Proving via General Matings

Andrews, Peter

Journal of the ACM, 1981-04, Vol.28 (2), p.193-214 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (250)
  2. Artigos  (51)
  3. Anais de Congresso  (10)
  4. Book Chapters  (7)
  5. Resenhas  (1)
  6. magazinearticle  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (13)
  2. 1981Até1989  (28)
  3. 1990Até1998  (83)
  4. 1999Até2009  (181)
  5. Após 2009  (87)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (4)
  2. Alemão  (2)
  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.