Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
The universe of approximationsMarcelo Finger Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (10. 2003 Ouro Preto)Electronic Notes in Theoretical Computer Science Amsterdam v. 84, p. 91-104, 2003Amsterdam 2003Localização: IME - Inst. Matemática e Estatística (PROD-1367695 ) e outros locais(Acessar) |
|
2 |
Material Type: Resenha
|
Change, choice and inference. [Book review]Andre Fuhrmann Renata WassermannMind Oxford v. 112, n. 448, p. 790-792, 2003Oxford 2003Localização: IME - Inst. Matemática e Estatística (PROD-1408125 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Parallel, Distributed and Multiagent Production SystemsToru IshidaSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Automated Modeling of Physical SystemsP. Pandurang NayakSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Desenvolvimento de sistemas baseados em artefatos de conhecimento.Torres, Gustavo Enrique SalazarBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-06-26Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
Typicality in description logicsCurado, José David FernándezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-12-11Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Applications of Uncertainty FormalismsAnthony Hunter Anthony Hunter; Simon Parsons; G Goos; Simon D ParsonsSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Philosophical Logic and Artificial IntelligenceRichmond H. ThomasonSpringer Netherlands 1989Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Dissertação de Mestrado
|
REPRESENTAÇÃO DE CONHECIMENTO UTILIZANDO FRAMESAvila, Braulio CoelhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-03-18Acesso online. A biblioteca também possui exemplares impressos. |