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

₹5,502

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented.

Description supplied by the publisher.