Automated deduction : proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science, v 814Publication details: Berlin Springer Verlag 1994Description: xvi,845pSubject(s): DDC classification: - 5.131 In61(94)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 5.131 In61(94) (Browse shelf(Opens below)) | Available | 114385 |
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 | No cover image available | No cover image available | No cover image available | ||||
| 5.131 In61(92) Meta-Programming in logic : proceedings | 5.131 In61(92) Design and implementation of symbolic computation systems : proceedings | 5.131 In61(93) Automata,languages and programming : proceedings | 5.131 In61(94) Automated deduction : proceedings | 5.131 In61D(3) Design and implementation of symbolic computation systems : proceedings | 5.131 In61F(93) Industrial stength formal methods : proceedings | 5.131 In61Te(1) Temporal logic : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
