Questo è quello che aggiungi al carrello
Parametri
Maggiori informazioni sul libro
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Acquisto del libro
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Lingua
- Pubblicato
- 1980
- product-detail.submit-box.info.binding
- (In brossura),
- Condizioni del libro
- In buone condizioni
- Prezzo
- 10,44 €
Metodi di pagamento
Ancora nessuna valutazione.