Fortell venner om denne varen:
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
A$ 85,49
Bestillingsvarer
Forventes levert 4. - 12. aug
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1. desember 1990 |
| ISBN13 | 9780817635305 |
| Utgivere | Birkhauser Boston Inc |
| Antall sider | 150 |
| Mål | 155 × 235 × 9 mm · 231 g |
| Språk | Engelsk |
![Cover for Raatz · Natans Strafrede gegen David in 2 (Bok) [German edition] (2013)](https://imusic.b-cdn.net/images/item/original/771/9783638867771.jpg?raatz-2013-natans-strafrede-gegen-david-in-2-bok&class=scaled&v=1605734960)
![Cover for Raatz · Der Streit um die Auferweckung de (Bok) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/788/9783638867788.jpg?raatz-2007-der-streit-um-die-auferweckung-de-bok&class=scaled&v=1660469479)
![Cover for Raatz · Trauerbegleitung im Kasualgespräc (Bok) [German edition] (2007)](https://imusic.b-cdn.net/images/item/original/795/9783638867795.jpg?raatz-2007-trauerbegleitung-im-kasualgesprac-bok&class=scaled&v=1510247762)
