Automated theorem Proving : a logical basis
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre |
| 语言: | 英语 |
| 出版: |
[S.l.] :
Ed. North-Holland,
1978.
|
| 丛编: | Fundamental studies in computer science
6 |
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
3rd Floor Main Library
| 索引号: |
A1234.567 |
|---|---|
| 复印件 1 | 可用 |