証明問題解決支援システムにおけるダミーカードの自動生成
証明問題解決支援システムにおけるダミーカードの自動生成
复制标题
证明解题支持系统自动生成虚拟卡
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
長野大智，倉山めぐみ
中科院分区：
文献类型：
--
作者：
Vivat Thongchotchat;Kazuhiko Sato;Hidetsugu Suto;長野大智，倉山めぐみ
