Vertel uw vrienden over dit artikel:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition
Raatz
Prijs
€ 68,99
Besteld in een afgelegen magazijn
Verwachte levering 3 - 12 feb.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 december 1990 |
| ISBN13 | 9780817635305 |
| Uitgevers | Birkhauser Boston Inc |
| Pagina's | 150 |
| Afmetingen | 155 × 235 × 9 mm · 231 g |
| Taal en grammatica | Engels |
