Automated theorem Proving : a logical basis
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Livre |
| Iaith: | Anglais |
| Cyhoeddwyd: |
[S.l.] :
Ed. North-Holland,
1978.
|
| Cyfres: | Fundamental studies in computer science
6 |
| Pynciau: |
BU Lettres
| Lleoliad | Rhif Galw | Statws | |
|---|---|---|---|
|
|
Magasins | 511.301 LOW |
Ar gael
Ar Gadw – Gofynnwch wrth y Ddesg Fenthyca 📩 |