在您的搜寻 主题建议
Đang hiển thị 1 - 9 kết quả của 9 cho tìm kiếm '', 查询时间: 0.04s Tinh chỉnh kết quả
1
Mathematical logic for computer science.
由 Lu Zhungwan
出版 1989
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
2
Mathematical logic for computer science /
由 Lu, Zhongwan.
出版 1989
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
3
Mathematical logic for computer science /
由 Lu, Zhongwan.
出版 1989
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
4
Elements of the theory of computation /
由 Lewis, Harry R.
出版 1998
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
5
Set theory and the continuum hypothesis /
由 Cohen, Paul J., 1934-2007.
出版 1966
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
6
Thinking about Gödel and Turing : essays on complexity 1970-2007 /
由 Chaitin, Gregory J.
出版 2007
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
7
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
出版 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
8
Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
出版 2002
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
9
Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
出版 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
加到收藏夹
Đã lưu trong:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索