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
Refinado por: assunto: Inteligência Artificial remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The 1994 IEEE International Conference on Neural Networks IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando Florida
The 1994 IEEE International Conference on Neural Networks IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando Florida
Material Type:
Livro 		Adicionar ao Meu Espaço

The 1994 IEEE International Conference on Neural Networks IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando Florida

IEEE International Conference on Neural Networks (1994 Orlando, Fla.) IEEE Neural Networks Council; IEEE World Congress on Computational Intelligence (1994 Orlando, Fla.)

New York IEEE Neural Networks Council Piscataway, NJ Available from IEEE Service Center c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 I61cn 1994 v.5 e.1 )(Acessar)

2
3D structure from images - SMILE 2000 second European workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Irleand [sic], July 1-2, 2000 ; revised papers
3D structure from images - SMILE 2000 second European workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Irleand [sic], July 1-2, 2000 ; revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

3D structure from images - SMILE 2000 second European workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Irleand [sic], July 1-2, 2000 ; revised papers

European Workshop on 3D Structure from Multiple Images of Large-Scale Environments (2nd 2000 Dublin, Ireland) Marc Pollefeys 1971-

New York Springer London c2001

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

3
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, proceedings

International Conference on Automated Deduction (7th 1984 Napa, Calif.) Robert Shostak 1931-

New York, N.Y. Springer-Verlag c1984

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 7. ) e outros locais(Acessar)

4
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H Siekmann, Jörg H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
5
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction (8th 1986 Oxford, England) Jörg H Siekmann

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 8. ) e outros locais(Acessar)

6
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings

International Conference on Automated Deduction (9th 1988 Argonne, Ill.) Ewing Lusk; Ross A Overbeek

Berlin Springer-Verlag New York c1988

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

7
A case study on AIED unplugged applied to public policy for learning recovery post-pandemic in Brazil
A case study on AIED unplugged applied to public policy for learning recovery post-pandemic in Brazil
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A case study on AIED unplugged applied to public policy for learning recovery post-pandemic in Brazil

Carlos Portela Rodrigo Lisboa; Koiti Yasojima; Thiago Damasceno Cordeiro; Alan Pedro da Silva; Diego Dermeval; Leonardo Marques; Jário Santos; Rafael Ferreira Mello; Valmir Macario; Ig Ibert Bittencourt Santana Pinto; Seiji Isotani; International Conference on Artificial Intelligence in Education - AIED (24. 2023 Tokyo)

Communications in Computer and Information Science - CCIS Cham : Springer v. 1831, p. 788-796, 2023

Cham Springer 2023

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3185813 )(Acessar)

8
A many-valued approach to deduction and reasoning for artificial intelligence
A many-valued approach to deduction and reasoning for artificial intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

A many-valued approach to deduction and reasoning for artificial intelligence

Cary G. DeBessonet

Boston Kluwer Academic c1991

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

9
Abductive Inference Models for Diagnostic Problem-Solving
Abductive Inference Models for Diagnostic Problem-Solving
Material Type:
Livro 		Adicionar ao Meu Espaço

Abductive Inference Models for Diagnostic Problem-Solving

Peng, Yun ; Reggia, James A

New York, NY: Springer New York 1990

Texto completo disponível

Citações Citado por
10
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Koenig, Sven ; Holte, Robert C Holte, Robert C. ; Koenig, Sven

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.058)
  2. Artigos  (194)
  3. Produções Acadêmicas  (23)
  4. Software  (4)
  5. Anais de Congresso  (1)
  6. Produções Técnicas  (1)
  7. Audiovisuais  (1)
  8. Mais opções open sub menu

Assunto 

  1. Artificial Intelligence  (340)
  2. Expert Systems (Computer Science)  (141)
  3. Neural Networks (Computer Science)  (134)
  4. Inteligência Artificial  (110)
  5. Inteligência Artificial  (110)
  6. Redes Neurais  (90)
  7. Computer Science  (82)
  8. Intelligent Agents (Computer Software)  (70)
  9. Lógica Matemática  (67)
  10. Sistemas Especialistas  (52)
  11. Inteligencia Artificial  (49)
  12. Recuperação Da Informação  (49)
  13. Computação Gráfica  (45)
  14. Machine Learning  (45)
  15. Logic, Symbolic And Mathematical  (43)
  16. Intelligence Artificielle  (42)
  17. Automatic Theorem Proving  (42)
  18. Natural Language Processing (Computer Science)  (42)
  19. Processamento De Imagens  (38)
  20. Representação De Conhecimento  (37)
  21. Electronic Data Processing  (37)
  22. Neural Computers  (36)
  23. Aprendizado Computacional  (35)
  24. Künstliche Intelligenz  (35)
  25. Sistemas Multiagentes  (34)
  26. Computação Aplicada  (33)
  27. Database Management  (33)
  28. Machine Theory  (32)
  29. Teoria Da Computação  (32)
  30. Computers  (31)
  31. Ai  (27)
  32. Machine Intelligence  (27)
  33. Self-Organizing Systems  (27)
  34. Intelligence, Artificial  (27)
  35. Thinking, Artificial  (26)
  36. Intelligent Machines  (26)
  37. Intellectronics  (26)
  38. Artificial Thinking  (26)
  39. Electronic Brains  (26)
  40. Congresses  (25)
  41. Machine Learning  (10)
  42. Database Management  (7)
  43. Logic, Symbolic And Mathematical  (6)
  44. Lógica Matemática  (5)
  45. Recuperação Da Informação  (5)
  46. Sistemas Especialistas  (4)
  47. Redes Neurais  (4)
  48. Automatic Theorem Proving  (3)
  49. Representação De Conhecimento  (2)
  50. Aprendizado Computacional  (2)
  51. Teoria Da Computação  (1)
  52. Processamento De Imagens  (1)
  53. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (18)
  2. 1981Até1991  (168)
  3. 1992Até2001  (636)
  4. 2002Até2012  (417)
  5. Após 2012  (111)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.247)
  2. Português  (40)
  3. Espanhol  (5)
  4. Indeterminado  (3)
  5. Alemão  (3)
  6. Japonês  (2)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.