Faites connaître cet article à vos amis:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition
Raatz
Prix
€ 66,99
Commandé depuis un entrepôt distant
Livraison prévue 3 - 12 févr.
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 1 décembre 1990 |
| ISBN13 | 9780817635305 |
| Éditeurs | Birkhauser Boston Inc |
| Pages | 150 |
| Dimensions | 155 × 235 × 9 mm · 231 g |
| Langue et grammaire | English |
