You need to sign in or sign up before continuing.
Scan barcode
![Logic Programming: Operational Semantics and Proof Theory by James H. Andrews](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBMkoxTXc9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--c39ad13ec69535081a028c36cae1d5cab8c37e0f/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Programming-%20Operational%20Semantics%20and%20Proof%20Theory.jpg)
120 pages • missing pub info (editions)
ISBN/UID: 9780521607544
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 19 August 2004
Description
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 practice in logic programming can be bridged. This ...
Community Reviews
Content Warnings
![Logic Programming: Operational Semantics and Proof Theory by James H. Andrews](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBMkoxTXc9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--c39ad13ec69535081a028c36cae1d5cab8c37e0f/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Programming-%20Operational%20Semantics%20and%20Proof%20Theory.jpg)
120 pages • missing pub info (editions)
ISBN/UID: 9780521607544
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 19 August 2004
Description
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 practice in logic programming can be bridged. This ...