Agotado
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)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Using Sophisticated Models in Resolution Theorem Proving
- Idioma
- Inglés
- Autores
- David M. Sandford
- Editorial
- Springer-Verlag
- Publicado en
- 1980
- Formato
- Tapa blanda
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Serie
- Descripción
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.