Graph-Based Proof Procedures for Horn Clauses Image close
Graph-Based Proof Procedures for Horn Clauses by RAATZ
Graph-Based Proof Procedures for Horn Clauses by RAATZ
Show Hide Adult Content
Graph-Based Proof Procedures for Horn Clauses close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
General Studies

Graph-Based Proof Procedures for Horn Clauses

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Progress in Computer Science and Applied Logic

See all products in this series

Applied Probability-Computer Science: The Interface Volume 1 on Hardback by Ralph L. Disney
$161.00
Applied Probability-Computer Science: The Interface Volume 1
by Ralph L. Disney ~ Hardback
Available - Usually ships in 3-4 weeks
Lecture Notes on Bucket Algorithms by Devroye
$149.00
Lecture Notes on Bucket Algorithms
by Devroye ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Feasible Mathematics II
$156.00
Feasible Mathematics II
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Probability— Computer Science: The Interface by Ralph L. Disney
$159.00
Applied Probability— Computer Science: The Interface
by Ralph L. Disney ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Probability-Computer Science: The Interface Volume 1 by Ralph L. Disney
$157.00
Applied Probability-Computer Science: The Interface Volume 1
by Ralph L. Disney ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Feasible Mathematics by S. R. Buss
$155.00
Feasible Mathematics
by S. R. Buss ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Real-Time Control of Walking by M D Donner
$151.00
Real-Time Control of Walking
by M D Donner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Bounded Queries in Recursion Theory by William Levine
$294.00
Bounded Queries in Recursion Theory
by William Levine ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logical Methods on Hardback
$469.00
Logical Methods
Hardback
Available - Usually ships in 3-4 weeks
Number Theoretic Methods in Cryptography on Hardback by Igor Shparlinski
$151.00
Number Theoretic Methods in Cryptography
by Igor Shparlinski ~ Hardback
Available - Usually ships in 3-4 weeks
Advances in Proof Theory on Hardback
$299.00
Advances in Proof Theory
Hardback
Available - Usually ships in 3-4 weeks
Advances in Proof Theory
$295.00
Advances in Proof Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Cryptography and Computational Number Theory
$154.00
Cryptography and Computational Number Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata Theory and its Applications on Hardback by Bakhadyr Khoussainov
$160.00
Automata Theory and its Applications
by Bakhadyr Khoussainov ~ Hardback
Available - Usually ships in 3-4 weeks
Coding, Cryptography and Combinatorics
$295.00
Coding, Cryptography and Combinatorics
Paperback / softback
Available - Usually ships in 3-4 weeks
Coding, Cryptography and Combinatorics on Hardback
$298.00
Coding, Cryptography and Combinatorics
Hardback
Available - Usually ships in 3-4 weeks

Description

The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures for the Horn clause subset of logic. The rise of logic programming has made this an important area of study. All Prologs are based on a variant of resolution, and inherit various properties related to this proof method. This monograph studies the paradigm of logic programming in the context of graph-based proof procedures which are unrelated to resolution. The monograph is not a general introduction to logic programming, although it is self-contained with respect to the mathematics used. It should appeal to the computer scientist or mathematician interested in the general area we now call computational logic. A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
Release date NZ
December 1st, 1990
Author
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1990
Illustrations
8 Illustrations, black and white; VIII, 150 p. 8 illus.
Pages
150
ISBN-13
9780817635305
Product ID
27168515

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
General Studies