Logic Programming: Operational Semantics and Proof Theory

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: Paperback
• Language: English
• ISBN: 052160754X
• ISBN13: 9780521607544
• Release Date: August 2004
• Publisher: Cambridge University Press
• Length: 120 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 7.4" x 9.6"