skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Current topics in artificial intelligence 10th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers
Current topics in artificial intelligence 10th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Current topics in artificial intelligence 10th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Ricardo Conejo; Maite Urretavizcaya; Jos e-Luis P erez-de-la-Cruz; Asociaci on Espa nola de Inteligencia Artificial; International Conference for Technology Transfer (5th 2003 San Sebasti an, Spain)

Berlin Springer New York 2004

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

2
Labelled Deduction
Labelled Deduction
Labelled Deduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Labelled Deduction

Dov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca Viganò

Springer Netherlands 2000

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

3
Methods and applications of artificial intelligence Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-9, 2004 proceedings
Methods and applications of artificial intelligence Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-9, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Methods and applications of artificial intelligence Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-9, 2004 proceedings

Hellenic Conference on AI (3rd 2004 Samos, Greece) George A Vouros; Themistoklis Panayiotopoulos

Berlin Springer New York c2004

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

4
Games of No Chance 3
Games of No Chance 3
Games of No Chance 3
Material Type:
Livro 		Adicionar ao Meu Espaço

Games of No Chance 3

Michael H. Nowakowski, Richard J. Albert Michael H Albert; Richard J Nowakowski

Cambridge Cambridge University Press 2009

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

5
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical and Computational Aspects of Model-Based Reasoning

Dov M. Barwise, Jon Magnani, Lorenzo Gabbay L Magnani; N.J Nersessian; Claudio Pizzi

Springer Netherlands 2002

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

6
Formal Aspects of Context
Formal Aspects of Context
Formal Aspects of Context
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Aspects of Context

Dov M. Barwise, John Bonzon, Pierre Gabbay Marcos Cavalcanti; Rolf Nossum

Springer Netherlands 2000

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

7
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.

8
Progress in artificial intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilh a Portugal, December 5-8, 2005 : proceedings
Progress in artificial intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilh a Portugal, December 5-8, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Progress in artificial intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilh a Portugal, December 5-8, 2005 : proceedings

Portuguese Conference on Artificial Intelligence (12th 2005 Covilh a, Portugal) Carlos Bento (Lisboa Bento); Amilcar Cardoso; Ga el Dias

Berlin Springer New York c2005

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

9
Machine learning ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy September 20-24, 2004 : proceedings
Machine learning ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy September 20-24, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Machine learning ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy September 20-24, 2004 : proceedings

European Conference on Machine Learning (15th 2004 Pisa, Italy) Jean-Fran cois Boulicaut; Floriana Esposito 1947-; Fosca Giannotti; Dino Pedreschi

Berlin Springer New York c2004

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

10
Algorithmic learning theory 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 ; proceedings
Algorithmic learning theory 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic learning theory 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 ; proceedings

ALT 2004 (15th 2004 Padua, Italy) Shai Ben-David; John Case 1942; Akira Maruoka

Berlin Springer New York c2004

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (140)
  2. Audiovisuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (2)
  2. 1994Até2001  (3)
  3. 2002Até2004  (47)
  4. 2005Até2007  (84)
  5. Após 2007  (5)
  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.