Koichi Takahashi Masami Hagiya: "Proving as Editing HOL Tactics" User Interface for Theorem Provers,UITP'98 Eindhoven University of Technology. 157-174 (1998)
Koichi Takahashi Masami Hagiya: "Proving as Editing HOL Tactics" User Interface for Theorem Provers,UITP'98 Eindhoven University of Technology. 157-174 (1998)
复制标题
Koichi Takahashi Masami Hagiya：“证明作为编辑 HOL 策略”定理证明者的用户界面，UITP98 埃因霍温理工大学。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
