Identification, equivalent models, and computer algebra
Material type:
- 0-12-084775-2
- 511.3 B424
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 B424 (Browse shelf(Opens below)) | Available | 116846 | |||
Books | ISI Library, Kolkata CD/DVD Collection | 511.3 B424 (Browse shelf(Opens below)) | Available | D329 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 B336 Graph drawing | 511.3 B393 Art of proof | 511.3 B415 Foundation of constructive mathematics | 511.3 B424 Identification, equivalent models, and computer algebra | 511.3 B424 Identification, equivalent models, and computer algebra | 511.3 B433 Course in mathematical logic | 511.3 B476 Language in action : categories,lambdas and dynamic logic |
Includes a disc
There are no comments on this title.
Log in to your account to post a comment.