Using Sophisticated Models in Resolution Theorem Proving

SOMMARIO

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

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540102311
• Collana: Lecture Notes in Computer Science
• Dimensioni: 233 x 155 mm
• Formato: Brossura
• Illustration Notes: XI, 242 p.
• Pagine Arabe: 242
• Pagine Romane: xi