Reasoning with logic programming
Material type:
TextLanguage: English Series: Lecture notes in artificial intelligence; v 1111Publication details: Berlin Springer-Verlag 1996Description: xx,326pISBN: - 3-540-61488-5
- 005.115 Al386
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.115 Al386 (Browse shelf(Opens below)) | Available | 117359 |
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 | ||||||
| 005.114 G662 Functional programming and input/output | 005.114 L372 Functional programming,concurrency,simulation and automated reasoning | 005.114 T468 Miranda : the Craft of functional programming | 005.115 Al386 Reasoning with logic programming | 005.115 B466 Constraint logic programming : selected research | 005.115 B875 Logic programming : new frontiers | 005.115 D438 Treshold logic : a synthesis approach |
There are no comments on this title.
Log in to your account to post a comment.
