Practical applications of symbolic computation
Material type:
TextLanguage: English Publication details: Surrey IPC Science and Technology Press 1980Description: xi,394pISBN: - 0-86103-036-2
- 511.3 H849
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 H849 (Browse shelf(Opens below)) | Available | 98242 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.3 H689 Mathematical logic | 511.3 H762 Introduction to cardinal arithmetic | 511.3 H766 Logic and computer science | 511.3 H849 Practical applications of symbolic computation | 511.3 Im33 Descriptive complexity | 511.3 In39 Proceedings of the conference on logic and its applications held at Delhi, January 5-11, 2011 /edited by | 511.3 In41 Natural deduction, hybrid systems and modal logics |
There are no comments on this title.
Log in to your account to post a comment.
