Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
Formalizing planning algorithms for temporally extended goalsSilvio do Lago Pereira Leliane Nunes de BarrosSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.9 ) e outros locais(Acessar) |
|
2 |
Material Type: Relatório Técnico
|
Towards a logic of perishable propositionsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2001Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Lógica para computaçãoFlávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de MeloSão Paulo Cengage Learning 2010 [2006Localização: IME - Inst. Matemática e Estatística (QA816 S586L 2010 e.12 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Lógica de programaçãoAlexandre Berg Joice Pavek FigueiróCanoas ULBRA 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68Q10.01 B493Lp.3 e.1 )(Acessar) |
|
5 |
Material Type: Livro
|
Lógica de programaçãoGley Fabiano Cardoso Xavier Gley Fabiano Cardoso XavierSão Paulo : Editora Senac São Paulo 2007Localização: EESC - Esc. Engenharia de São Carlos (001.64 X3L 1/1 CD-ROM ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Specifying credal sets with probabilistic answer set programmingDenis Deratani Mauá Fabio Gagliardi Cozman 1967-; International Symposium on Imprecise Probability: Theories and Applications - ISIPTA (13. 2023 Oviedo, Spain)Proceedings of Machine Learning Research Brookline v. 215, p. 321-332, 2023Brookline 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Relatório Técnico
|
Automated reasoning with uncertaintiesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1993Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Algebraic and logic programmingInternational Conference, ALP'94, 4 1994 Madrid Giorgio Levi; Mario Rodriguez-ArtalejoGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1994Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.850 )(Acessar) |
|
9 |
Material Type: Livro
|
Lógica de programação aprendendo a programarCamila Ceccatto da Silva Everaldo Antônio de PaulaSanta Cruz do Rio Pardo, SP Viena 2007Localização: EEL - Biotecnologia e Química (004.312 Si38l )(Acessar) |
|
10 |
Material Type: Livro
|
Programacion logica y funcionalJorge Vidart Alvaro Tasistro; Escola Brasileiro-Argentina de Informatica (3 1988 Curitiba)Curitiba Ebai 1988Localização: EPBC - Esc. Politécnica-Bib Central (004.424 V667p ) e outros locais(Acessar) |