Freunden von diesem Artikel berichten:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition
Raatz
Preis
Fr. 59,49
Bestellware
Lieferdatum: ca. 3. - 12. Feb
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. Dezember 1990 |
| ISBN13 | 9780817635305 |
| Verlag | Birkhauser Boston Inc |
| Seitenanzahl | 150 |
| Maße | 155 × 235 × 9 mm · 231 g |
| Sprache | Englisch |
