名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: W.编著 , 检索到: 356 条结果, 检索时间: 0.046 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
Automated theorem proving
出版社: American Mathematical Society   出版日期: 1984
文献类型: 图书 , 索书号: O141/ATP
2.
出版社: Prentice-Hall, Inc.   出版日期: 1983
文献类型: 图书 , 索书号: F23-61/KDA
3.
出版社: Physica-Verlag   出版日期: 1993
文献类型: 图书 , 索书号: F835/FEC
4.
出版社: Macmillan Publishers Ltd.   出版日期: 1993
文献类型: 图书 , 索书号: F091.348/CKE-2
5.
出版社: Kluwr Academic Publishers   出版日期: 1993
文献类型: 图书 , 索书号: F240/LE
6.
出版社: Springer-Verlag GmbH and Co. K   出版日期: 1992
文献类型: 图书 , 索书号: O224/MMO-2
7.
出版社: M.E. Sharpe, Inc.   出版日期: 1989
文献类型: 图书 , 索书号: F037.1/FDB
8.
出版社: PHYSICA-VERLAG   出版日期: 1989
文献类型: 图书 , 索书号: F224.0/ESC
9.
Philosophy of economics
出版社: Kluwer Academic Publishhers Gr   出版日期: 1989
文献类型: 图书 , 索书号: F-05/PE-2
10.
出版社: North-Holland Pub. Co.   出版日期: 1988
文献类型: 图书 , 索书号: F03/CMM