8B-5 前形式的証明に関する一考察(3) : action proofを導入して - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 8B-5 前形式的証明に関する一考察(3) : action proofを導入して

著者: 川島健治
出版者: 公益社団法人日本数学教育学会
雑誌: 日本数学教育学会誌. 臨時増刊, 総会特集号
巻号頁・発行日: vol.79, 1997-08-01

2016-07-21 09:15:16
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110003771560

言及状況

Twitter (1 users, 1 posts, 0 favorites)

こんな論文どうですか？ 8B-5 前形式的証明に関する一考察(3) : action proofを導入して(川島健治),1997 https://t.co/m5cNVsa2y4

収集済み URL リスト

https://ci.nii.ac.jp/naid/110003771560 (1)