文献
J-GLOBAL ID:200902167101082761
整理番号:95A0693057
部分例示に基づく定理自動証明
Theorem Proving Based on the Partial Instantiation Technique.
著者 (3件):
山本雅人
(北大 工)
,
大柳俊夫
(札幌医大)
,
大内東
(北大 工)
資料名:
電子情報通信学会論文誌 A
(IEICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences (Japan Edition))
巻:
78
号:
7
ページ:
864-871
発行年:
1995年07月
JST資料番号:
S0621A
ISSN:
0913-5707
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)