Este es el que agregas al carrito
Parámetros
Más información sobre el libro
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Compra de libros
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Idioma
- Publicado en
- 1980
- product-detail.submit-box.info.binding
- (Tapa blanda),
- Estado del libro
- Bueno
- Precio
- 9,72 €
Métodos de pago
Nadie lo ha calificado todavía.