Đang tải...

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ủ đề:

Kannur University

Chi tiết quỹ từ Kannur University
Số hiệu: 005.115 MIL/
Sao chép Trạng thái trực tiếp không khả dụng