skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Automatic Theorem Proving remover assunto: Inteligência Artificial (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings
Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings

Frank Pfenning; CADE (21 : 2007.07.17-20 : Bremen); International Conference on Automated Deduction (21 : 2007.07.17-20 : Bremen)

Berlin u.a. : Springer 2007

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

2
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings

TPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978

Berlin Springer New York c2007

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

3
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

TABLEAUX 2007 (2007 Aix en Provence, France) Nicola Olivetti

Berlin Springer New York c2007

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

4
Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

IJCAR 2006 (2006 Seattle, Wash.) Ulrich Furbach; N Shankar (Natarajan)

Berlin Springer New York c2006

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

5
Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17 2005 : revised selected papers
Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17 2005 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17 2005 : revised selected papers

MKM 2005 (2005 Bremen, Germany) Michael Kohlhase 1964

Berlin Springer New York c2006

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

6
Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedings
Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedings

MKM 2006 (2006 Wokingham, England) Jonathan M Borwein; William Michael Farmer

Berlin Springer New York c2006

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

7
Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25 2005 : proceedings
Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25 2005 : proceedings

TPHOLs 2005 (2005 Oxford, England) Joe Hurd; T. F Melham (Tom F.)

Berlin Springer New York 2005

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

8
Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia July 22-27, 2005 : proceedings
Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia July 22-27, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia July 22-27, 2005 : proceedings

International Conference on Automated Deduction (20th 2005 Tallinn, Estonia) Robert Nieuwenhuis

Berlin Springer New York c2005

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

9
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings

TABLEAUX 2005 (2005 Koblenz, Germany) Bernhard Beckert

Berlin Springer New York c2005

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

10
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings

TPHOLs 2004 (2004 Utah, USA) Konrad Slind; Annette Bunker; Ganesh Gopalakrishnan

Berlin Springer 2004

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (7)

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

Buscando em bases de dados remotas. Favor aguardar.