Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
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 FloridaIEEE 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 c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61cn 1994 v.5 e.1 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
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 papersEuropean Workshop on 3D Structure from Multiple Images of Large-Scale Environments (2nd 2000 Dublin, Ireland) Marc Pollefeys 1971-New York Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2018 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, proceedingsInternational Conference on Automated Deduction (7th 1984 Napa, Calif.) Robert Shostak 1931-New York, N.Y. Springer-Verlag c1984Localização: EPBC - Esc. Politécnica-Bib Central (004.8 In8d 7. ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedingsInternational Conference on Automated Deduction (8th 1986 Oxford, England) Jörg H SiekmannBerlin Springer-Verlag New York c1986Localização: EPBC - Esc. Politécnica-Bib Central (004.8 In8d 8. ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedingsInternational Conference on Automated Deduction (9th 1988 Argonne, Ill.) Ewing Lusk; Ross A OverbeekBerlin Springer-Verlag New York c1988Localizaçã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
|
![]() |
A case study on AIED unplugged applied to public policy for learning recovery post-pandemic in BrazilCarlos 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, 2023Cham Springer 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3185813 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
A many-valued approach to deduction and reasoning for artificial intelligenceCary G. DeBessonetBoston Kluwer Academic c1991Localização: IME - Inst. Matemática e Estatística (QA860 D286m )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedingsSARA 2000 (2000 Lake LBJ, Tex.) Berthe Y Choueiry 1963-; Toby WalshBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1864 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Active conceptual modeling of learning next generation learning-base system developmentActive Conceptual Modeling-Learning Workshop (2006 Tucson, Ariz.) Peter P. S Chen; Leah Y Wong; SpringerLink (Online service)Berlin Springer-Verlag c2007Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedingsAda Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L WallisBerlin Springer-Verlag New York 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.180 )(Acessar) |