0

Using Sophisticated Models in Resolution Theorem Proving

Lecture Notes in Computer Science 90

Erschienen am 01.08.1980
53,49 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540102311
Sprache: Englisch
Umfang: xi, 242 S.
Einband: kartoniertes Buch

Beschreibung

Inhaltsangabe1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg