نتائج البحث

1

Mathematical logic for computer science.

Mathematical logic for computer science. Vol.XLVII /

بواسطة Lu Zhungwan
منشور في 1989

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

2

Mathematical logic for computer science /

Mathematical logic for computer science /

بواسطة Lu, Zhongwan.
منشور في 1989

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

Mathematical logic for computer science /

Mathematical logic for computer science /

بواسطة Lu, Zhongwan.
منشور في 1989

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

4

Elements of the theory of computation /

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

5

Set theory and the continuum hypothesis /

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

6

Thinking about Gödel and Turing : essays on complexity 1970-2007 /

Thinking about Gö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

7

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

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

8

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /

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

9

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

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

10

How to read and do proofs : an introduction to mathematical thought processes /

How to read and do proofs : an introduction to mathematical thought processes /

بواسطة Solow, Daniel.
منشور في 1990

Thư viện lưu trữ: Mạng thư viện Đại học Đà Nẵng