Programming with Higher-Order Logic
Programming with Higher-Order Logic
باقاعدہ قیمت
Rs. 5,941.32
باقاعدہ قیمت
قیمت فروخت
Rs. 5,941.32
اکائی قیمت
فی
ٹیکس شامل ہے۔
ISBN: 9781139506298
Author: Dale Miller; Gopalan Nadathur
Publisher: Gardners
Published Date: June 11, 2012
Access Validity: 3 Years from Date of Purchase
Book Type:
Digital eBook
پک اپ کی دستیابی کو لوڈ نہیں کیا جا سکا
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
