- Start
- Using Sophisticated Models in Resolution Theorem Proving
Using Sophisticated Models in Resolution Theorem Proving
Angebote / Angebote:
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Folgt in ca. 5 Arbeitstagen