Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)

By James H. Andrews

Book Overview

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521432197
• ISBN13: 9780521432191
• Release Date: January 1993
• Publisher: Cambridge University Press
• Length: 116 Pages
• Weight: 0.90 lbs.
• Dimensions: 10.3" x 0.5" x 7.3"