Kupuješ přesně tu knihu, která je na fotce
Více o knize
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 vydání
- 1980
- product-detail.submit-box.info.binding
- (měkká),
- Stav knihy
- Dobrá
- Cena
- 19 Kč
Kupte si tuto knihu v
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Using Sophisticated Models in Resolution Theorem Proving
- Jazyk
- anglicky
- Autoři
- David M. Sandford
- Vydavatel
- Springer-Verlag
- Rok vydání
- 1980
- Vazba
- měkká
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Série
- Anotace
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.