The Resolution calculus
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | Livre |
| Langue: | Anglais |
| Publié: |
Berlin : New York (etc.) :
Heidelberg ; Springer,
1997.
|
| Collection: | Texts in theorical computer science
|
| Sujets: |
| Description: | Bibliogr. p.288-293. Index |
|---|---|
| Description matérielle: | 300 p. |
| ISBN: | 3540618821 |