Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Web Site CiNii 所蔵館 11館

書誌事項

タイトル
"Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving"
責任表示
by Wu Wen-tsun
出版者
  • Kluwer Academic Publishers
  • Science Press
出版年月
  • c2000
書籍サイズ
25 cm
シリーズ名/番号
  • : Science Press
  • : Kluwer

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ