文献
J-GLOBAL ID:200902145675539456
整理番号:94A0103389
幾何論証ITSのUNIXシステムへの移植と機能の拡張について
Porting and Upgrading an ITS for Geometric Theorem Proving toward UNIX Computer Systems.
著者 (3件):
松田昇
(電通大 大学院)
,
佐々木宏
(電通大 大学院)
,
岡本敏雄
(電通大 大学院)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
93
号:
405(ET93 90-105)
ページ:
105-112
発行年:
1993年12月18日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)