Iteration Theories Equational Logic of Iterative Processes
Material type:
TextSeries: EATCS Monographs on Theoretical Computer SciencePublication details: Berlin ; Springer Verlag ; 1993Description: 630pISBN: 0 387 56378 4Subject(s): Computer Science - Mathematics Iterative Methods (Mathematics) Logic, Symbolic and Mathematical
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 BLO (Browse shelf (Opens below)) | Available | 31085 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
No cover image available | ||
| 681.3 BHA Frontiers in parallel computing | 681.3 BIG Discrete mathematics | 681.3 BIN Networks | 681.3 BLO Iteration Theories | 681.3 BOC Logical Theory of Nonmonotonic Inference and Belief Change | 681.3 BOC Explanatory nonmonotonic reasoning | 681.3 BON Artificial intelligence promise and performance |
There are no comments on this title.