Higher order algebra logic, adn term rewriting : proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science, 816Publication details: Berlin Springer Verlag 1994Description: vii,344pSubject(s): DDC classification: - 5.115 In61(1)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 5.115 In61(1) (Browse shelf(Opens below)) | Available | 114390 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 5.115 In61 Extensions of logic programming : proceedings | 5.115 In61 Logic programming | 5.115 In61 Logic programming | 5.115 In61(1) Higher order algebra logic, adn term rewriting : proceedings | 5.115 In61(2) Algebraic and logic programming : proceedings | 5.115 In61(2) Logic programming in action : proceedings | 5.115 In61(3) Natural language understanding and logic programming : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
