David M. Sandford

Using Sophisticated Models in Resolution Theorem Proving

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Lecture Notes in Computer Science 90
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-10231-1
• 1980
• Seitenzahl: 260
• Erscheinungstermin: 1. August 1980
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 425g
• ISBN-13: 9783540102311
• ISBN-10: 3540102310
• Artikelnr.: 09248077

Inhaltsangabe

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