Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Representation theory of logics a categorial approachDarllan Conceição Pinto Hugo Luiz Mariano; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Belief revision in description logics with tipicalityJosé David Fernandez Curado Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
Revising formal program specifications using KMTSPaulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013Acesso online. A biblioteca também possui exemplares impressos. |