Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Chou, Shang-Ching, 1946-', hakuaika: 0,07s Tarkenna hakua
1
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Tekijä Chou, Shang-Ching, 1946-
Julkaistu 1994
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla