数学入試問題に対する定理自動証明の適用の試み
数学入試問題に対する定理自動証明の適用の試み
复制标题
尝试将自动定理证明应用于数学入学考试问题
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
磯部輝，伊藤暢浩，河辺義信
中科院分区：
文献类型：
--
作者：
Y. Kawabe;and N. Ito;ブロック単位でのディスクへの書き込み履歴から異常検出する手法の評価;福重芳樹，伊藤暢浩，岩田員典，幸塚義之;都築卓馬，岡野兼也，高 直我，平野 学;河辺義信;磯部輝，伊藤暢浩，河辺義信
