Higher-order algebra, logic and term rewriting : first international workshop, HOA'93, Amsterdam, The Netherlands, Sept.23-24, 1993 / edited by Jan Heering...[et al.]
Language: English Series: Lecture notes in computer science ; v.816Publication details: Berlin ; Springer-Verlag ; 1994Edition: Description: 344 p; 23.5 cmISBN: 3-540-58233-91Subject(s): | Computer science-Mathematics-Congresses | Algebra-Congresses | Logic, Symbolic and mathematical-Congresses | Rewriting systems (Computer science)-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06:512 Hig:1:93 | Available | G56A05 | 172772 |
Total holds: 0
There are no comments on this title.