Presne táto pôjde do košíka
Parametre
Viac o knihe
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Nákup knihy
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Jazyk
- Rok vydania
- 1980
- product-detail.submit-box.info.binding
- (mäkká),
- Stav knihy
- Dobrá
- Cena
- 6,59 €
Platobné metódy
Nikto zatiaľ neohodnotil.