定理自動証明技術の計算論的研究

著者

• 岩間, 一雄 イワマ, カズオ

書誌事項

定理自動証明技術の計算論的研究

岩間一雄研究代表

[岩間一雄], 1998

タイトル別名

平成8年度-平成9年度科学研究費補助金国際学術研究研究成果報告書

タイトル読み

テイリ ジドウ ショウメイ ギジュツ ノ ケイサンロンテキ ケンキュウ

詳細情報

• NII書誌ID(NCID): BA58229598
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: eng
• 出版地: [京都]
• ページ数/冊数: 1冊
• 大きさ: 30cm