Graph-Based Proof Procedures for Horn Clauses

Name: Graph-Based Proof Procedures for Horn Clauses: 10
Brand: Birkhauser Boston Inc
SKU: 9780817635305
Price: 2625.00 INR
Availability: InStock

by RAATZ

Birkhauser Boston Inc · 1990

₹2,625

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

Graph-Based Proof Procedures for Horn Clauses: 10 by RAATZ is a 150-page book published by Birkhauser Boston Inc in 1990. The book is part of the Progress in computer science and applied logic series.

Its main subjects are Graph theory, Horn clauses, Logic programming and Proof theory.