Ausverkauft
Using Sophisticated Models in Resolution Theorem Proving
Autor*innen
Parameter
Mehr zum Buch
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Buchkauf
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Sprache
- Erscheinungsdatum
- 1980
- Einband
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Keiner hat bisher bewertet.
- Titel
- Using Sophisticated Models in Resolution Theorem Proving
- Sprache
- Englisch
- Autor*innen
- David M. Sandford
- Verlag
- Springer
- Erscheinungsdatum
- 1980
- Einband
- Paperback
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Reihe
- Schlagwörter
- Beschreibung
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.