Programming with Higher-Order Logic /
Material type: TextLanguage: English Publication details: New York: Cambridge University Press, 2012Description: 306ISBN: 9780521879408Contained works: Nadathur,, GopalanSubject(s): Computer science- Computer programming | Logical programmingDDC classification: 005.115Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 005.115 MIL/ (Browse shelf (Opens below)) | Available | 31068 |
There are no comments on this title.