Automated theorem Proving : a logical basis
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Livre |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
[S.l.] :
Ed. North-Holland,
1978.
|
| Cyfres: | Fundamental studies in computer science
6 |
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
3rd Floor Main Library
| Rhif Galw: |
A1234.567 |
|---|---|
| Copi 1 | Ar gael |