Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Notes | Date Due |
---|---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | -nonclass (Browse Shelf) | 1 | Available | Sossai-- |
-nonclassAn outline of energy metabolism in man / | -nonclassDynamical theories of brownian motion / | -nonclassStatistica descrittiva / | -nonclassVol. 2: Reasoning with actual and potential contradictions / | -nonclassVol. 3: Belief change / | -nonclassVol. 3: Teoria tecnica delle travi / |
Contents - Introduction to actual and potential contradictions - Paraconsistent logics - Modal logics for representing incoherent knowledge - The family of default logics - Conditional logics for defeasible reasoning - Defeasible reasoning - Necessary conditions for negation-operators (with particular applications to paraconsistent negation) - A survey of paraconsistent semantic for logic programs
There are no comments for this item.