Description
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR. 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Availability: In Stock
Using Sophisticated Models in Resolution Theorem Proving: v. 90 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
SKU: 9783540102311
Original price was: $42.00.$7.00Current price is: $7.00.
Using Sophisticated Models in Resolution Theorem Proving: v. 90 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence), Joy Wieser, 9783540102311
Description
Additional information
Additional information
| Publisher | |
|---|---|
| ISBN | |
| Date of Publishing | |
| Author | |
| Category | |
| Page Number |
Related products
-
-
Protecting Your Privacy in a Data-Driven World (ASA-CRC Series on Statistical Reasoning in Science and Society)
0Original price was: $30.00.$7.00Current price is: $7.00. -
Mathematical Principles of Signal Processing: Fourier and Wavelet Analysis
0Original price was: $85.00.$14.00Current price is: $14.00. -
Microsoft Excel Functions and Formulas (Computer Science)
0Original price was: $109.00.$15.00Current price is: $15.00.
Free Delivery
Orders over $100
100% Secure
Payment
Expert Customer
Service
payment
