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 |