Computing with logic : logic programming with Prolog
By: Maier, David.
Contributor(s): Warren, David S.
Material type: BookPublisher: California Benjamin/Cummings Publishing 1988Description: xxi, 535p.ISBN: 0825366814.Subject(s): Prolog (Computer Program Language) | Logic ProgrammingDDC classification: 001.6424 | M281cItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 001.6424 M281c (Browse shelf) | Available | A103574 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
001.6424 L822f2 Foundations of program verification [2nd ed.] | 001.6424 M224f Functional programming | 001.6424 M224f Functional programming | 001.6424 M281c Computing with logic | 001.6424 M281c Computing with logic | 001.6424 M313a Algebraic approaches to program semantics | 001.6424 M326f FORTRAN |
There are no comments for this item.