Using Sophisticated Models in Resolution Theorem Proving
(Sprache: Englisch)
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Leider schon ausverkauft
versandkostenfrei
Buch
64.19 €
Produktdetails
Produktinformationen zu „Using Sophisticated Models in Resolution Theorem Proving “
Klappentext zu „Using Sophisticated Models in Resolution Theorem Proving “
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Inhaltsverzeichnis zu „Using Sophisticated Models in Resolution Theorem Proving “
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Bibliographische Angaben
- Autor: David M. Sandford
- 1980, 242 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540102310
- ISBN-13: 9783540102311
- Erscheinungsdatum: 01.08.1980
Sprache:
Englisch
Kommentar zu "Using Sophisticated Models in Resolution Theorem Proving"
0 Gebrauchte Artikel zu „Using Sophisticated Models in Resolution Theorem Proving“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Using Sophisticated Models in Resolution Theorem Proving".
Kommentar verfassen