Probabilistic Logic in a Coherent Setting Giulianella Coletti
Material type:
TextPublication details: Boston Kluwer Academic Publishers 2002Description: 289pISBN: 1402009178Subject(s): Probabilities | Logic, Symbolic and mathematicalDDC classification: 511.3 COL
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.3 COL (Browse shelf (Opens below)) | Copy 1 | Not for loan | 021398 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 511.3 BER Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions | REF 511.3 BIM Combinatory Logic: pure, applied, and typed | REF 511.3 CAF Automated Model Building | REF 511.3 COL Probabilistic Logic in a Coherent Setting | REF 511.3 DEL Cellular Automata: a parallel model | REF 511.3 GAB Interpolation and Definability: Modal and Intuitionistic Logics | REF 511.3 HAA Stochastic Petri Nets: modeling, stability, simulation |
There are no comments on this title.