Programming with Higher-Order Logic /

Bibliographic Details
Main Author: Miller,, Dale
Other Authors: Nadathur,, Gopalan
Format: Printed Book
Language:English
Published: New York: Cambridge University Press, 2012.
Subjects:
Computer science- Computer programming
Logical programming

Kannur University

Holdings details from Kannur University
Call Number: 005.115 MIL/
Copy Live Status Unavailable

Similar Items