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
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Automatic Theorem Proving remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Olivetti, Nicola ; Tiwari, Ashish Olivetti, Nicola ; Tiwari, Ashish ; Olivetti, Nicola ; Tiwari, Ashish

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
2
A proof theory for general unification
A proof theory for general unification
Material Type:
Livro 		Adicionar ao Meu Espaço

A proof theory for general unification

Wayne Snyder 1955-

Boston Birkhäuser 1991

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.11 )(Acessar)

3
Modular instantiation schemes
Modular instantiation schemes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular instantiation schemes

Echenim, Mnacho ; Peltier, Nicolas

Information processing letters, 2011-10, Vol.111 (20), p.989-993 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang Richard Char-Tung Lee

Academic Press 1973

Acesso online. A biblioteca também possui exemplares impressos.

5
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

T. F Melham (Tom F.); Juanito Camilleri

Berlin New York Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.859 ) e outros locais(Acessar)

6
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, Daniele

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
7
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam ; Camilleri, Albert Srivas, Mandayam ; Camilleri, Albert

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
8
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Wright, Joakim von ; Grundy, Jim ; Harrison, John van Leeuwen, Jan ; Harrison, John ; Goos, Gerhard ; Hartmanis, Juris ; von Wright, Joakim ; Grundy, Jim

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
9
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Dybjer, Peter ; Nordström, Bengt ; Smith, Jan Nordström, Bengt ; Dybjer, Peter ; Smith, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
10
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Berardi, Stefano ; Coppo, Mario Berardi, Stefano ; Coppo, Mario

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

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

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  (29)
  3. 1990Até1998  (83)
  4. 1999Até2009  (180)
  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.