Fortæl dine venner om denne vare:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition
Raatz
Pris
R 1.243,75
Bestilles fra fjernlager
Forventes klar til forsendelse 5. - 11. aug.
Tilføj til din iMusic ønskeseddel
Eller
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. december 1990 |
| ISBN13 | 9780817635305 |
| Forlag | Birkhauser Boston Inc |
| Antal sider | 150 |
| Mål | 155 × 235 × 9 mm · 231 g |
| Sprog | Engelsk |
![Cover for Raatz · Natans Strafrede gegen David in 2 (Bog) [German edition] (2013)](https://imusic.b-cdn.net/images/item/original/771/9783638867771.jpg?raatz-2013-natans-strafrede-gegen-david-in-2-bog&class=scaled&v=1605734960)
![Cover for Raatz · Der Streit um die Auferweckung de (Bog) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/788/9783638867788.jpg?raatz-2007-der-streit-um-die-auferweckung-de-bog&class=scaled&v=1660469479)
![Cover for Raatz · Trauerbegleitung im Kasualgespräc (Bog) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/795/9783638867795.jpg?raatz-2007-trauerbegleitung-im-kasualgesprac-bog&class=scaled&v=1510247762)
