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 data de publicação: 1990Até1998 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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
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
4
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)

5
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) G Gottlob (Georg); Alexander Leitsch 1952-; Daniele Mundici 1946-; Kurt Gödel Society; Colloquium on Computational Logic and Proof Theory (5. 1997 Vienna, AT)

Berlin New York Springer c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1289 ) e outros locais(Acessar)

6
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
7
3-SAT = SAT for a class of normal modal logics
3-SAT = SAT for a class of normal modal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

3-SAT = SAT for a class of normal modal logics

Demri, Stéphane

Information processing letters, 1995-06, Vol.54 (5), p.281-287 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

New York, NY: Springer New York 1996

Texto completo disponível

Citações Citado por
9
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

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

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
10
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
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  (60)
  2. Artigos  (14)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (6)
  2. 1991Até1993  (16)
  3. 1994Até1996  (29)
  4. 1997Até2002  (37)
  5. Após 2002  (21)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.