Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Algebraic k-theory of fields and special groupsMaximo Alejandro Dickmann Francisco Miraglia Neto; Brazilian Conference on Mathematical Logic (11. 1996 Salvador)Advances in contemporary logic and computer science Providence : AMS, 1999Providence AMS 1999Localização: IME - Inst. Matemática e Estatística (S C761 v.235 ) e outros locais(Acessar) |
|
2 |
Material Type: Dissertação de Mestrado
|
Objetos Imitadores: teoremas limitativos pensados a partir da computaçãoStolf, Euclides Torres OmettoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2022-09-08Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Extending EL++ with linear constraints on the probability of axiomsMarcelo FingerLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2953686 )(Acessar) |
|
4 |
Material Type: Livro
|
Pseudo-contractions as gentle repairsVinícius Bitencourt Matos Ricardo Guimarães; Yuri David Santos; Renata WassermannLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2962949 )(Acessar) |
|
5 |
Material Type: Artigo
|
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Approximations of Modal Logic KGuilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006Amsterdam Elsevier 2006Localização: IME - Inst. Matemática e Estatística (PROD-3009534 )(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Word sense disambiguation using inductive logic programmingLucia Specia Ashwin Srinivasan; Ganesh Ramakrishnan; Maria das Graças Volpe Nunes; International Conference , Inductive Logic Programming 16 2006 Santiago de CompostelaLecture Notes in Computer Science v. 4455, p. 409-423, 2007Berlim Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1624571 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Logic, language, information, and computationAlexandra Silva Renata Wassermann; Ruy de Queiroz; International Workshop on Logic, Language, Information, and Computation - WoLLIC (27. 2021 virtual event)Cham Springer 2021Localização: IME - Inst. Matemática e Estatística (PROD-3052847 )(Acessar) |
|
9 |
Material Type: Dissertação de Mestrado
|
Uma ferramenta para o ensino de inteligência artificial usando jogos de computadorSilva, Filipe Correa Lima DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-01-16Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo de Congresso
|
Learning temporal interval relations using inductive logic programmingMaria do Carmo Nicoletti Flávia Oliveira Santos de Sá Lisboa; Estevam Rafael Hruschka Junior; International Conference on Integrated Computing Technology - INTECH (2011 São Carlos)Communications in Computer and Information Science Heidelberg : Springer v. 165, p. 90-104, 2011Heidelberg Springer 2011Localização: IFSC - Inst. Física de São Carlos (PROD019463 ) e outros locais(Acessar) |