Épuisé
En savoir plus sur le livre
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Achat du livre
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Langue
- Année de publication
- 1980
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Using Sophisticated Models in Resolution Theorem Proving
- Langue
- Anglais
- Auteurs
- David M. Sandford
- Éditeur
- Springer-Verlag
- Publié
- 1980
- Format
- souple
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Séries
- Description
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.