Programming with higher-order logic
By: Miller, Dale.
Contributor(s): Nadathur, Gopalan.
Material type: BookPublisher: Cambridge Cambridge University Press 2012Description: xiii, 306p.ISBN: 9780521879408.Subject(s): Logic programming | Prolog (Computer program language)DDC classification: 005.15 | M613pItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.15 M613p (Browse shelf) | Book Request | Available | A176116 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
005.14 L887O OBJECT ORIENTED SOFTWARE METRICS | 005.14 R449 Rigorous software development | 005.15 Ab31k A knowledge-based approach to program understanding | 005.15 M613p Programming with higher-order logic | 005.150218 L229p Practical support for ISO 9001 software project documentation | 005.16 SH27S STRATEGIES FOR MANAGING COMPUTER SOFTWARE UPGRADES | 005.2 F313a Feature interactions in telecommunications and software systems VII |
There are no comments for this item.