Önerilen Konular
Önerilen Konular
1
Baskı/Yayın Bilgisi 2001
Konular:
“...Automatic theorem proving Congresses....”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
Yazar: Chou, Shang-Ching, 1946-
Baskı/Yayın Bilgisi 1994
Konular:
“...Automatic theorem proving....”Baskı/Yayın Bilgisi 1994
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
Baskı/Yayın Bilgisi 2001
Konular:
“...Automatic theorem proving Congresses....”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
4
Yazar: Vassilyev, Stanislav N.
Konular:
“...Automatic theorem proving...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt