検索結果 - "Axioms Data processing."

1

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

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

著者: Chou, Shang-Ching, 1946-
出版事項 1994

主題: “...Axioms Data processing....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt