定理自動証明技術の計算論的研究
Author(s)
Bibliographic Information
定理自動証明技術の計算論的研究
[岩間一雄], 1998
- Other Title
-
平成8年度-平成9年度科学研究費補助金国際学術研究研究成果報告書
- Title Transcription
-
テイリ ジドウ ショウメイ ギジュツ ノ ケイサンロンテキ ケンキュウ
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.