コンピュータによる定理の証明

CiNii Available at 125 libraries

Bibliographic Information

Title
"コンピュータによる定理の証明"
Statement of Responsibility
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
Publisher
  • 日本コンピュータ協会
Publication Year
  • 1983.9
Book size
22cm
Other Title
  • コンピュータ ニヨル テイリ ノ ショウメイ
  • Symbolic logic and mechanical theorem proving

Search this Book/Journal

Notes

各章末:参考文献 参考文献: p323-338

Related Books

See more

Details 詳細情報について

Back to top