Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Logic for computer scienceSteve Reeves 1957- Michael Clarke 1940-Wokingham, England Addison-Wesley Reading, Mass. c1990Localização: EPBC - Esc. Politécnica-Bib Central (658.788 R259L )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Paradoxes from A to ZMichael Clark 1940-London Routledge New York 2002Localização: EPBC - Esc. Politécnica-Bib Central (16 C548p )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 ProceedingsClarke, Michael ; Kruse, Rudolf ; Moral, Serafín Moral, Serafín ; Clarke, Michael ; Kruse, RudolfBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
|