Miláčik čitateľov je práve vypredaný
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
- Väzba
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Nikto zatiaľ neohodnotil.
- Titul
- Using Sophisticated Models in Resolution Theorem Proving
- Jazyk
- anglicky
- Autori
- David M. Sandford
- Vydavateľ
- Springer-Verlag
- Rok vydania
- 1980
- Väzba
- mäkká
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Série
- Štítky
- Anotácia
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.