Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Chou, Shang-Ching, 1946-
Drugi avtorji: Chang, Ching-chung, 1936-, Gao, Xiao-shan.
Format: Sách giấy
Izdano: Singapore ; New Jersey : World Scientific, c1994.
Serija:Series on applied mathematics ; v. 6
Teme:
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Podobne knjige/članki