Je koopt precies het boek dat op de foto staat
Parameters
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
- € 9,72
Betaalmethoden
Nog niemand heeft beoordeeld.