Theorem-ProvingのProgram (プログラムの基礎理論)

• 西村, 敏男

  東京教育大学理学部

• 井出, 修

  東京教育大学理学部

• 大矢, 建正

  九州大学工学部

• 神居, 雅志

  東京教育大学理学部

書誌事項

タイトル別名

• THEOREM-PROVING ノ PROGRAM プログラム ノ キソ リロン

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 189 52-59, 1973-10

  京都大学数理解析研究所

詳細情報

• CRID: 1050001202111955840
• NII論文ID: 110007473981
• NII書誌ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/107222
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • CiNii Articles