Skip to content

Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses Paperback - 1990

by Raatz


From the publisher

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.

Details

  • Title Graph-Based Proof Procedures for Horn Clauses
  • Author Raatz
  • Binding Paperback
  • Edition First
  • Pages 150
  • Volumes 1
  • Language ENG
  • Publisher Birkhauser
  • Date 1990-12-01
  • Illustrated Yes
  • ISBN 9780817635305 / 0817635300
  • Weight 0.51 lbs (0.23 kg)
  • Dimensions 9.21 x 6.14 x 0.34 in (23.39 x 15.60 x 0.86 cm)
  • Library of Congress Catalog Number 90227328
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by RAATZ

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$37.60
$12.00 shipping to USA

Show Details

Description:
Birkhauser Boston Inc, 1990. Paperback. Very Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$37.60
$12.00 shipping to USA
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
Stock Photo: Cover May Be Different

GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES

by RAATZ

  • Used
  • very good
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
1
Seller
Indianapolis, Indiana, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$44.00
$12.65 shipping to USA

Show Details

Description:
Very Good.
Item Price
$44.00
$12.65 shipping to USA
Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by RAATZ

  • New
Condition
New
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
303
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$65.43
$10.12 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Graph-Based Proof Procedures for Horn Clauses.
Item Price
$65.43
$10.12 shipping to USA
Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by Raatz, Stan

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$72.04
$12.67 shipping to USA

Show Details

Description:
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches.
Item Price
$72.04
$12.67 shipping to USA
Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by RAATZ

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$75.02
$12.60 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
$75.02
$12.60 shipping to USA
Graph-based Proof Procedures For Horn Clauses
Stock Photo: Cover May Be Different

Graph-based Proof Procedures For Horn Clauses

  • New
Condition
New
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$65.51
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$65.51
$5.00 shipping to USA
Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by RAATZ Stan Raatz

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.38
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 160 . Papeback. Used.
Item Price
$67.38
$3.99 shipping to USA
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
Stock Photo: Cover May Be Different

GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES

by RAATZ, S.,

  • New
Condition
New
Edition
N/A
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$69.00
$10.00 shipping to USA

Show Details

Description:
Birk, 1990. N/A. Unknown Binding. New/New.
Item Price
$69.00
$10.00 shipping to USA
Graph-Based Proof Procedures for Horn Clauses
Stock Photo: Cover May Be Different

Graph-Based Proof Procedures for Horn Clauses

by RAATZ

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$72.00
$10.00 shipping to USA

Show Details

Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
$72.00
$10.00 shipping to USA
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).

by Stan Raatz.

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780817635305 / 0817635300
Quantity Available
1
Seller
Somerville, Massachusetts, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$199.00
$6.00 shipping to USA

Show Details

Description:
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic). By Stan Raatz. 1990 by Birkhäuser. Hardcover, 148 pages.
Item Price
$199.00
$6.00 shipping to USA