Esaurito
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)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Using Sophisticated Models in Resolution Theorem Proving
- Lingua
- Inglese
- Autori
- David M. Sandford
- Editore
- Springer-Verlag
- Pubblicato
- 1980
- Formato
- In brossura
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Serie
- Descrizione
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.