Uitverkocht
Meer over het boek
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Een boek kopen
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Taal
- Jaar van publicatie
- 1980
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- Using Sophisticated Models in Resolution Theorem Proving
- Taal
- Engels
- Auteurs
- David M. Sandford
- Uitgever
- Springer-Verlag
- Jaar van publicatie
- 1980
- Formaat
- Paperback
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Reeks
- Aantekening
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.