+612 9045 4394
 
CHECKOUT
Using Sophisticated Models in Resolution Theorem Proving : Lecture Notes in Computer Science - David M. Sandford

Using Sophisticated Models in Resolution Theorem Proving

Lecture Notes in Computer Science

Paperback

Published: 1st August 1980
Ships: 15 business days
15 business days
$116.16
or 4 easy payments of $29.04 with Learn more
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

ISBN: 9783540102311
ISBN-10: 3540102310
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 242
Published: 1st August 1980
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.4
Weight (kg): 0.37