First-order dynamic logic.
Material type:
TextLanguage: English Series: Lecture notes in computer science ; v 68Publication details: Berlin Springer-Verlag 1979Description: x,133pISBN: - 3540092374
- 511.3 H275 23
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 H275 (Browse shelf(Opens below)) | Available | C26401 | |||
| Books | ISI Library, Kolkata | 511.3 H275 (Browse shelf(Opens below)) | Available | 95728 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.3 H223 Introduction to computation theory | 511.3 H262 Mathematics of coordinated inference : | 511.3 H275 First-order dynamic logic. | 511.3 H275 First-order dynamic logic. | 511.3 H321 Introduction to switching and automata theory | 511.3 H321 Introduction to switching and automata theory | 511.3 H477 Infinity |
There are no comments on this title.
Log in to your account to post a comment.
