Using Sophisticated Models in Resolution Theorem Proving / Edition 1

Paperback

$54.99

SHIP THIS ITEM
In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

ISBN-13:	9783540102311
Publisher:	Springer Berlin Heidelberg
Publication date:	10/03/1980
Series:	Lecture Notes in Computer Science , #90
Edition description:	1980
Pages:	242
Product dimensions:	6.10(w) x 9.17(h) x 0.36(d)

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

From the B&N Reads Blog

Page 1 of