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
Description
Published:2012.
Physical Description:306.
ISBN:9780521879408

Similar Items