Image from Amazon.com
Image from Google Jackets
Conditional and typed rewriting systems :2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings S. Kaplan, M. Okada (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 516Publication details: New York : Springer-Verlag, 1991.Description: x, 461 p. : ill. ; 24 cmISBN: - 3540543171
- 0387543171
- 511.3 KAP-OKA
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library MCA Book Bank | 511.3 KAP-OKA (Browse shelf(Opens below)) | Available | 096808 |
Browsing Goa University Library shelves, Shelving location: MCA Book Bank Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511 ROS/Dis Discrete mathematics and its applications / | 511 ROS/Dis Discrete mathematics and its applications / | 511 ROS/Dis Discrete mathematics and its applications / | 511.3 KAP-OKA Conditional and typed rewriting systems :2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings | 511.3 MOR/The The theory of computation / | 511.3 MOR/The The theory of computation / | 511.3 MOR/The The theory of computation / |
There are no comments on this title.
Log in to your account to post a comment.