5項 定理証明系Isabelle/HOLとその応用(4節 通研講演会,第5章 国際会議・シンポジウム等)

• 南出, 靖彦

抄録

application/pdf

紀要類(bulletin)

77604 bytes

収録刊行物

• 東北大学電気通信研究所研究活動報告

  東北大学電気通信研究所研究活動報告 12 284-284, 2006-08

  東北大学電気通信研究所研究評価委員会

詳細情報

• CRID: 1050282677704675712
• NII論文ID: 110006000207
• NII書誌ID: AA11173436
• HANDLE: 10097/30678
• Web Site: https://tohoku.repo.nii.ac.jp/records/48292
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • CiNii Articles