Recomienda este artículo a tus amigos:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Precio
$ 55,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 16 - 29 de jun.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 1 de diciembre de 1990 |
| ISBN13 | 9780817635305 |
| Editores | Birkhauser Boston Inc |
| Páginas | 150 |
| Dimensiones | 155 × 235 × 9 mm · 231 g |
| Lengua | Inglés |
Ver todo de Raatz ( Ej. Book y Paperback Book )