skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
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
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
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
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
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)

5
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)

6
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)

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

8
Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings

SARA 2000 (2000 Lake LBJ, Tex.) Berthe Y Choueiry 1963-; Toby Walsh

Berlin Springer New York c2000

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

9
Active conceptual modeling of learning next generation learning-base system development
Material Type:
Livro
Adicionar ao Meu Espaço

Active conceptual modeling of learning next generation learning-base system development

Active Conceptual Modeling-Learning Workshop (2006 Tucson, Ariz.) Peter P. S Chen; Leah Y Wong; SpringerLink (Online service)

Berlin Springer-Verlag c2007

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

10
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedings

Ada Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L Wallis

Berlin Springer-Verlag New York 1984

Localização: IME - Inst. Matemática e Estatística    (S L471c v.180 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.109)
  2. Recursos Online (108)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (977)
  2. Artigos  (167)
  3. Produções Acadêmicas  (20)
  4. Software  (4)
  5. Produções Técnicas  (1)
  6. Audiovisuais  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1981  (18)
  2. 1981Até1991  (150)
  3. 1992Até2001  (602)
  4. 2002Até2012  (322)
  5. Após 2012  (79)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.143)
  2. Português  (22)
  3. Indeterminado  (3)
  4. Alemão  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.