Tell your friends about this item:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Price
£ 41.99
Ordered from remote warehouse
Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
or
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic
Raatz
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.
160 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 1, 1990 |
| ISBN13 | 9780817635305 |
| Publishers | Birkhauser Boston Inc |
| Pages | 150 |
| Dimensions | 155 × 235 × 9 mm · 231 g |
| Language | English |
![Cover for Raatz · Natans Strafrede gegen David in 2 (Book) [German edition] (2013)](https://imusic.b-cdn.net/images/item/original/771/9783638867771.jpg?raatz-2013-natans-strafrede-gegen-david-in-2-book&class=scaled&v=1605734960)
![Cover for Raatz · Der Streit um die Auferweckung de (Book) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/788/9783638867788.jpg?raatz-2007-der-streit-um-die-auferweckung-de-book&class=scaled&v=1660469479)
![Cover for Raatz · Trauerbegleitung im Kasualgespräc (Book) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/795/9783638867795.jpg?raatz-2007-trauerbegleitung-im-kasualgesprac-book&class=scaled&v=1510247762)