証明問題支援システムの実験的利用と問題点の改良
証明問題支援システムの実験的利用と問題点の改良
复制标题
证明问题支持系统的实验使用和问题的改进
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
佐々木虎太郎，倉山めぐみ
中科院分区：
文献类型：
--
作者：
K.TAKANO;K.YOKOTA;Y.KASAI;K.SATO;K.ASAI;佐々木虎太郎，倉山めぐみ
