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 assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings

Jacques Calmet; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France); CALCULEMUS (2002 Marseille, France)

Berlin Springer New York c2002

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

3
Artificial intelligence and symbolic computation 7th International conference, AISC 2004
Artificial intelligence and symbolic computation 7th International conference, AISC 2004
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation 7th International conference, AISC 2004

Artificial intelligence and symbolic computation (International conference) (7th 2004 Linz, Austria) Bruno Buchberger; J. A Campbell 1940

Berlin Springer London 2004

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

4
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
5
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
6
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Ramanayake, Revantha ; Urban, Josef

Cham: Springer Nature 2023

Texto completo disponível

Citações Citado por
7
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Pientka, Brigitte ; Tinelli, Cesare

Cham: Springer Nature 2023

Texto completo disponível

Citações Citado por
8
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Stickel, Mark E Stickel, Mark E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
9
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques ; Benhamou, Belaid ; Caprotti, Olga ; Henocque, Laurent ; Sorge, Volker Calmet, Jacques ; Henocque, Laurent ; Sorge, Volker ; Caprotti, Olga ; Benhamou, Belaid

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
10
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

Buchberger, Bruno ; Campbell, John A Campbell, John ; Buchberger, Bruno

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

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  (84)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (6)
  2. 1987Até1997  (21)
  3. 1998Até2003  (32)
  4. 2004Até2012  (43)
  5. Após 2012  (19)
  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.