Machine proofs in geometry : automated production of readable proofs for geometry theorems

著者

• Chou, Shang-Ching
• Gao, Xiao-Shan
• Chang, Ching-chung

書誌事項

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

（Series on applied mathematics, v. 6）

World Scientific, c1994

注記

Includes bibliographical references and index

• NII書誌ID(NCID): BA22559998
• ISBN:
  • 9810215843
• LCCN: 94005809
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore ; New Jersey
• ページ数/冊数: xvii, 461 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA481
  • DC20 : 516/.00285/51
• 件名:
  • LCSH : Axioms -- Data processing
  • LCSH : Automatic theorem proving
• 親書誌ID:
  • BA19087879