Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Graph-Based Proof Procedures for Horn Clauses

Graph-Based Proof Procedures for Horn Clauses( )
Author: RAATZ,
Series title:Progress in Computer Science and Applied Logic Ser.
ISBN:978-1-4899-3556-4
Publication Date:Nov 2013
Publisher:Birkhauser Verlag
Book Format:Ebook
List Price:USD $99.00
Book 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...
More Description

Book Details
Pages:150



Featured Books

The Women
Hannah, Kristin
Hardback: $30.00
My Passion for Design
Streisand, Barbra
Hardback: $80.00
The Devil and Miss Prym
Coelho, Paulo
Paperback: $15.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.