Automated theorem Proving : a logical basis
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | Livre |
| Langue: | Anglais |
| Publié: |
[S.l.] :
Ed. North-Holland,
1978.
|
| Collection: | Fundamental studies in computer science
6 |
| Sujets: |
| LEADER | 00540nam a22001937a 4500 | ||
|---|---|---|---|
| 001 | 8804 | ||
| 008 | 960401s1978 xxe ||| |||| 00| 0 eng d | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.301 | ||
| 100 | |a Loweland, Donald. | ||
| 245 | 1 | 0 | |a Automated theorem Proving : |b a logical basis |c Donald Loweland. |
| 260 | |a [S.l.] : |b Ed. North-Holland, |c 1978. | ||
| 300 | |a 405 p. ; |c 23 x 16. | ||
| 490 | 1 | |a Fundamental studies in computer science |v 6 | |
| 500 | |a Rel. | ||
| 650 | |a Théorèmes |x Démonstration automatique. | ||
| 993 | |a Livre | ||
| 994 | |a BC | ||
| 997 | |0 8804 | ||