Logic Programming

Name: Logic Programming: Operational Semantics and Proof Theory by J. Andrews – Programming
Brand: ‎ Cambridge University Press
SKU: 9780521607544
Price: 4603.00 INR
Availability: InStock

Operational Semantics and Proof Theory by J. Andrews – Programming

by J. Andrews, James H. Andrews

‎ Cambridge University Press · 2004 · Paperback

₹4,603

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by ‎ Cambridge University Press in 2004, Logic Programming: Operational Semantics and Proof Theory by J. Andrews – Programming by J. Andrews & James H. Andrews runs to 116 pages in paperback.

The book deals with Automatic theorem proving, Logic programming, Programming languages (Electronic computers) and Semantics.