Programming with Higher-Order Logic /

Chi tiết về thư mục
Tác giả chính: Miller,, Dale
Tác giả khác: Nadathur,, Gopalan
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: New York: Cambridge University Press, 2012.
Những chủ đề:
Computer science- Computer programming
Logical programming
Miêu tả
Được phát hành:2012.
Mô tả vật lý:306.
số ISBN:9780521879408

Những quyển sách tương tự