Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Nonmonotonic Logic: Context-Dependent ReasoningMarek, V. Wiktor ; Reiter, R ; Truszczynski, MiroslawBerlin, Heidelberg: Springer Berlin / Heidelberg 1993Texto completo disponível |
|
2 |
Material Type: Livro
|
Optimization Methods for Logical InferenceChandru, Vijay ; Hooker, JohnNewark: John Wiley & Sons, Incorporated 1999Texto completo disponível |
|
3 |
Material Type: Livro
|
Symbolic Logic and Mechanical Theorem ProvingChang, Chin-Liang ; Lee, Richard Char-TungSan Diego: Elsevier Science & Technology 1973Texto completo disponível |