Je koopt precies het boek dat op de foto staat
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),
- Staat van het boek
- Goed
- Prijs
- € 1,99
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.