From Logic Design to Logic Programming

Name: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Brand: Springer
SKU: 9783540182177
Price: 5502.00 INR
Availability: InStock

Theorem Proving Techniques and P-Functions

by Dominique Snyers, Andre Thayse

Springer · 1987 · Paperback

₹5,502

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

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions is written by Dominique Snyers & Andre Thayse. This paperback edition from Springer (1987) has 129 pages.

Its main subjects are Logic programming, Algorithms, Automatic theorem proving and Logischer Entwurf.