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

著者

• Chang, Chin-Liang
• Lee, Richard Char-Tung
• 長尾, 真 ナガオ, マコト
• 辻井, 潤一 ツジイ, ジュンイチ

書誌事項

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

Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳

（コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編, 27）

日本コンピュータ協会, 1983.9

タイトル別名

Symbolic logic and mechanical theorem proving

タイトル読み

コンピュータ ニヨル テイリ ノ ショウメイ

注記

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

詳細情報

• NII書誌ID(NCID): BN00844314
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xii, 346p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC7 : 549.92
  • NDLC : MA41
  • NDLC : M151
• 件名:
  • NDLSH : 記号論理学
  • NDLSH : 人工頭脳
• 親書誌ID:
  • BN00058946