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

Author(s)

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

Bibliographic Information

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

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

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

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

Other Title

Symbolic logic and mechanical theorem proving

Title Transcription

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

Note

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

Details

• NCID: BN00844314
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xii, 346p
• Size: 22cm
• Classification:
  • NDC8 : 410.96
  • NDC7 : 549.92
  • NDLC : MA41
  • NDLC : M151
• Subject Headings:
  • NDLSH : 記号論理学
  • NDLSH : 人工頭脳
• Parent Bibliography ID:
  • BN00058946