Prikaz rezultata 1 – 3 od 3 za pretraživanje 'Gao, Xiao-Shan', vrijeme pretraživanja: 0,04s Detaljiziraj rezultate
1
Mathematical Software
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Preuzmi cijeli tekst
Spremi u popis
Spremljeno u:
2
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
od Chou, Shang-Ching, 1946-
Izdano 1994
Daljnji autori: “...Gao, Xiao-shan....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Spremi u popis
Spremljeno u:
3
Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Izdano 2002
Daljnji autori: “...Gao, Xiao-Shan....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Spremi u popis
Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom