Koichi Takahashi and Masami Hagiya: "Emacs Interface for HOL Tactics Based on the Computing-as-Editing Paradigm (in Japanese)" WISS'97. 123-128 (1997)
Koichi Takahashi and Masami Hagiya: "Emacs Interface for HOL Tactics Based on the Computing-as-Editing Paradigm (in Japanese)" WISS'97. 123-128 (1997)
复制标题
Koichi Takahashi 和 Masami Hagiya：“基于计算即编辑范式的 HOL 策略的 Emacs 界面（日语）”WISS97。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
