Summary goes here
Guardat en:
| Format: | Llibre |
|---|---|
| Idioma: | anglès |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ce800e99-2f91-4e4d-89e4-6835da0b6e1a |
| isbn | 3540618821 9783540618829 |
| issn | |
| language | eng |
| physical | viii, 300 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©1997 |
| publishDate | ©1997 |
| subjects | |
| title | The resolution calculus / Alexander Leitsch. |
| topic | Automatic theorem proving. Automatic theorem proving. logical calculusproofs |