3 द्वारा ईबुक Gopalan Nadathur
Dale Miller & Gopalan (University of Minnesota) Nadathur: Programming with Higher-Order Logic
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. Howev …
PDF
DRM
€66.93
