Programming with Higher-Order Logic

by Gopalan Nadathur and Dale Miller

Book Overview

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.... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 052187940X
• ISBN13: 9780521879408
• Release Date: June 2012
• Publisher: Cambridge University Press
• Length: 320 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.9" x 6.1" x 9.1"