Afirst course in formal logic and its applications in computer science R.D Dowsing
Material type:
TextSeries: Computer science textsPublication details: Oxford Backwell Scientific 1986Description: vi, 265pISBN: - 632013087
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | Library and Documentation Division | 005.131 D768F (Browse shelf(Opens below)) | Available | 008039 |
Browsing Library and Documentation Division shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| 005.13 ति6801बे बेसिक एक कम्प्यूटर भाषा | 005.131 Ah68D Design and analysis of computer algorithms | 005.131 Ah69D The Design and analysis of Computer Algorithms | 005.131 D768F Afirst course in formal logic and its applications in computer science | 005.131 Es37R Recent advances in formal languages and applications | 005.131 H398 C Constraint satisfaction in logic programming | 005.131 J73 C Computability and Complexity |
There are no comments on this title.