Showing 1 - 3 results of 3 for search 'Gao, Xiao-Shan', सवाल का समय: 0.05सेकंड परिणाम को परिष्कृत करें
1
Mathematical Software
द्वारा Cohen, Arjeh M., Gao, Xiao-Shan, Takayama, Nobuki
प्रकाशित 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
2
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
द्वारा Chou, Shang-Ching, 1946-
प्रकाशित 1994
अन्य लेखक: “...Gao, Xiao-shan....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
सूची में सहेजें
में बचाया:
3
Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
प्रकाशित 2002
अन्य लेखक: “...Gao, Xiao-Shan....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें