Dynamic logic
Material type: TextSeries: Foundations of ComputingPublication details: Cambridge ; MIT Press ; 2000Description: 459ISBN: 0 262 08289 6Subject(s): Computer logic Formal methodsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 HAR (Browse shelf (Opens below)) | Available | 49440 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.6 HAL Algebraic logic | 510.6 HAL Logic as Algebra : (DME Vol.21) | 510.6 HAN Textbook of belief dynamics | 510.6 HAR Dynamic logic | 510.6 HAR Algorithmics | 510.6 HAR Dynamic Logic | 510.6 HAY Derivation and martingales |
There are no comments on this title.