skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Inteligência Artificial remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated reasoning with analytic tableaux and related methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Automated reasoning with analytic tableaux and related methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

TABLEAUX'98 (1998 Oisterwijk, Netherlands) H. C. M. de Swart

Berlin New York Springer c1998

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

2
Programming multi-agent systems third international workshop, ProMAS 2005, Utrecht, the Netherlands, July 26, 2005 : revised and invited papers
Programming multi-agent systems third international workshop, ProMAS 2005, Utrecht, the Netherlands, July 26, 2005 : revised and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming multi-agent systems third international workshop, ProMAS 2005, Utrecht, the Netherlands, July 26, 2005 : revised and invited papers

ProMAS (Conference) (3rd 2005 Utrecht, Netherlands) Rafael H Bordini

Berlin Springer New York 2006

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

3
Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings
Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings

Annual conference on Computer Learning Theory (14th 2001 Amsterdam, The Netherlands) David Helmbold; Bob Williamson; European Conference on Computational Learning Theory (5th 2001 Amsterdam, The Netherlands)

Berlin Springer 2001

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

4
Reasoning with uncertainty in robotics proceedings [of the] international workshop, rur'95, held in amsterdam, the netherlands, december 4-6, 1995
Reasoning with uncertainty in robotics proceedings [of the] international workshop, rur'95, held in amsterdam, the netherlands, december 4-6, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Reasoning with uncertainty in robotics proceedings [of the] international workshop, rur'95, held in amsterdam, the netherlands, december 4-6, 1995

International Workshop on Reasoning With Uncertainty in Robotics (1995 : Amsterdam, Nl) Leo Dorst; Rur (1995 : Amsterdam, Nl)

Berlin Springer 1995

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

5
Agents breaking away proceedings [of the] 7th european workshop on modelling autonomous agents in a multi-agent world, maamaw'96, held in einhoven, the netherlands, january 22-25, 1996
Agents breaking away proceedings [of the] 7th european workshop on modelling autonomous agents in a multi-agent world, maamaw'96, held in einhoven, the netherlands, january 22-25, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Agents breaking away proceedings [of the] 7th european workshop on modelling autonomous agents in a multi-agent world, maamaw'96, held in einhoven, the netherlands, january 22-25, 1996

European Workshop on Modelling Autonomous Agents in Multi-Agent World (7. 1996 Einhoven, Nl) Walter van de Velde; John W Perram

Berlin Springer 1996

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

6
Advances in computer chess 5
Advances in computer chess 5
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computer chess 5

D. F Beal 1948- (Don F.); International Conference "Advances in Computer Chess" (5th 1987 Noordwijkerhout, Netherlands)

Amsterdam New York Oxford North-Holland 1989

Localização: IME - Inst. Matemática e Estatística    (QA860.C B366a )(Acessar)

7
Questions
Questions
Questions
Material Type:
Livro 		Adicionar ao Meu Espaço

Questions

Jaakko Peters, Stanley Hiü, Henry Hintikka Henry Hiü; Stanley Peters

Springer Netherlands 1978

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

8
Automated Mathematical Induction
Automated Mathematical Induction
Automated Mathematical Induction
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Mathematical Induction

Hantao Zhang

Springer Netherlands 1996

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

9
Fuzzy Sets, Logics and Reasoning about Knowledge
Fuzzy Sets, Logics and Reasoning about Knowledge
Fuzzy Sets, Logics and Reasoning about Knowledge
Material Type:
Livro 		Adicionar ao Meu Espaço

Fuzzy Sets, Logics and Reasoning about Knowledge

Dov M. Barwise, John Dubois, Didier Gabbay John Barwise; Didier Dubois; Erich Peter Klement; Henri Prade

Springer Netherlands 1999

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

10
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Philosophical Logic and Artificial Intelligence

Richmond H. Thomason

Springer Netherlands 1989

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)

Data de Publicação 

De até
Refinar
  1. Antes de1991  (3)
  2. 1991Até1995  (3)
  3. 1996Até1997  (3)
  4. 1998Até2001  (5)
  5. Após 2001  (4)
  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.