Aihe-ehdotuksia
Näytetään 1 - 1 yhteensä 1 tuloksesta haulle '"Axioms Data processing."', hakuaika: 0,06s Tarkenna hakua
1
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Tekijä Chou, Shang-Ching, 1946-
Julkaistu 1994
Aiheet: “...Axioms Data processing....”
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 — Tallenna haku