Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
WiklA inteligência artificial no BrasilLeliane Nunes de Barros Fábio Natanael Kepler; Solange de Oliveira Rezende; Cassio P. de Campos; Workshop Fapesp Tidia (3. 2006 São Paulo)Anais São Carlos: ICMC/USP. 2006São Carlos ICMC/USP 2006Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1560832 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Laboratório de ensino de inteligência artificialMarlon Gripp Chermont Leliane Nunes de Barros; Simpósio Internacional de Iniciação Científica da USP (10. 2002 São Carlos)Alguns Tabalhos do IME-USP para o 10o. SIICUSPSão Paulo IME-USP 2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Livro
|
Trajetória acadêmica da inteligência artificial no BrasilAnna Helena Reali Costa Leliane Nunes de Barros; Solange Oliveira Rezende; Jaime S Sichman (Jaime Simão) 1962-; Hugo Neri MunhozCozman, Fabio G. ; Plonski, Guilherme Ary ; Neri, Hugo , org Inteligência artificial : avanços e tendências São Paulo : Instituto de Estudos Avançados, 2021 414 pSão Paulo Instituto de Estudos Avançados 2021Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3041919 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Inteligência artificial uma abordagem moderna. [Revisão Técnica]Flávio Soares Corrêa da Silva Denis Deratani Mauá; Leliane Nunes de Barros; Renata WassermannRio de Janeiro GEN/LTC 2022Localização: IME - Inst. Matemática e Estatística (QA860 R967aP 4.ed. e.2 )(Acessar) |
|
5 |
Material Type: Livro
|
Inteligência artificial tradução da terceira ediçãoStuart J. Russell (Stuart Jonathan) Peter Norvig; Regina Célia Simille de Macedo; Flávio Soares Corrêa da Silva; Leliane Nunes de Barros; Renata WassermannRio de Janeiro Elsevier Campus 2013Emprestado de IME - Inst. Matemática e Estatística (QA860 R967aP 2013 e.2 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
PACTL-SYM um planejador baseado em Verificação Simbólica de ModelosViviane Bonadia dos Santos Leliane Nunes de Barros; Encontro Nacional de Inteligência Artificial e Computacional - ENIAC (14. 2017 Uberlândia)Anais Porto Alegre : SBC, 2017Porto Alegre SBC 2017Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
Topologia de espaços de estados em planejamento com variáveis numéricasPerseke, AldebaranBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-08-01Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Dissertação de Mestrado
|
Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicosDelgado, Karina ValdiviaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2005-12-19Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
Planejamento baseado em verificação simbólica de modelosSantos, Viviane Bonadia DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2018-10-22Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo
|
Designing logic-based robotsFelipe Werndl Trevizan Leliane Nunes de Barros; Flávio Soares Corrêa da SilvaInteligencia Artificial Valencia n. 31, p. 11-22, 2006Valencia 2006Acesso online. A biblioteca também possui exemplares impressos. |