Nonmonotonic and inductive logic : proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science, v 659Publication details: Berlin Springer Verlag 1993Description: viii,332pISBN: - 0-382-56433-0
- 5.131 In61(91)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 5.131 In61(91) (Browse shelf(Opens below)) | Available | 113356 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 5.131 In61(6) Higher order logic theorem proving and its applications : proceedings | 5.131 In61(7) Higher order logic theorem : proceedings | 5.131 In61(91) Attribute grammars,applications and systems : proceedings | 5.131 In61(91) Nonmonotonic and inductive logic : proceedings | 5.131 In61(92) Logical foundations of computer science : proceedings | 5.131 In61(92) Automata,languages and programming : proceedings | 5.131 In61(92) Meta-Programming in logic : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
