Wir senden dir das abgebildete Buch
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
- product-detail.submit-box.info.binding
- (Paperback),
- Buchzustand
- Gebraucht - Gut
- Preis
- 11,99 €inkl. MwSt.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.