skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
2
Artificial intelligence a modern approach
Artificial intelligence a modern approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence a modern approach

Stuart J. Russell (Stuart Jonathan) Peter Norvig

Upper Saddle River Prentice Hall c2010

Localização: ICB - Inst. Ciências Biomédicas    (Q335 R967a 2010 ) e outros locais(Acessar)

3
Commonsense Reasoning
Commonsense Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Commonsense Reasoning

Mueller, Erik T

San Diego: Elsevier Science 2010

Texto completo disponível

Citações Citado por
4
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.

5
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings

Australian Joint Conference on Artificial Intelligence (15th 2002 Canberra, A.C.T.) Bob McKay; J. K Slaney (John K.)

Berlin Springer London c2002

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

6
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Armando, Alessandro Armando, Alessandro

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
7
Reactive Kripke Semantics
Reactive Kripke Semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Reactive Kripke Semantics

Gabbay, Dov M

Berlin, Heidelberg: Springer Nature 2013

Texto completo disponível

Citações Citado por
8
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
9
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings

Adriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, Henning

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
10
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

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  (110)
  2. Artigos  (4)
  3. Dissertações  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (13)
  2. 1990Até1996  (20)
  3. 1997Até2003  (72)
  4. 2004Até2013  (27)
  5. Após 2013  (8)
  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.