Image from Amazon.com
Term rewriting and all that / Franz Baader and Tobias Nipkow.
Material type:
TextPublication details: New York : Cambridge University Press, 1999.Description: xii, 301 p. : ill. ; 25 cmISBN: - 9780521779203 (pbk.)
- 005.131 BAA
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
H.T. Parekh Library | SIAS Collection | 005.131 BAA (Browse shelf(Opens below)) | Available | K19392 |
Browsing H.T. Parekh Library shelves,Collection: SIAS Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.13 PIE Types and programming languages / | 005.13 SLA Effective python: 90 specific ways to write better python / | 005.13 YOU You are not expected to understand this: how 26 lines of code changed the world / | 005.131 BAA Term rewriting and all that / | 005.131 JAM Cloud computing : | 005.131 MAT Quick recursion / | 005.133 ABE Structure and interpretation of computer programs / |
There are no comments on this title.
Log in to your account to post a comment.