Vinkkaa tuotetta kavereillesi:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Hinta
€ 52,99
Tilattu etävarastosta
Arvioitu toimitus ma - ti 5. - 13. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | lauantai 1. joulukuuta 1990 |
| ISBN13 | 9780817635305 |
| Tuottaja | Birkhauser Boston Inc |
| Sivujen määrä | 150 |
| Mitta | 155 × 235 × 9 mm · 231 g |
| Kieli | Englanti |
Lisää tuotteita Raatz
Näytä kaikki
![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)
Katso kaikki joka sisältää Raatz ( Esim. Book Ja Paperback Book )