Wyprzedane
Parametry
Więcej o książce
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Zakup książki
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Język
- Rok wydania
- 1980
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Using Sophisticated Models in Resolution Theorem Proving
- Język
- angielski
- Autorzy
- David M. Sandford
- Wydawca
- Springer-Verlag
- Rok wydania
- 1980
- Oprawa
- miękka
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Seria
- Tagi
- Opis
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.