Logic for applications /
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | 图书 |
| 语言: | 英语 |
| 出版: |
New york :
Springer-Verlag,
1997.
|
| 版: | 2nd ed. |
| 丛编: | Graduate texts in computer science
|
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| 实物描述: | 456 P. ; 25 cm. |
|---|---|
| 参考书目: | Includes bibliographical references and index. |
| ISBN: | 0387948937 |