文献
J-GLOBAL ID:200902199097460550
整理番号:97A0463410
テスト集合帰納法による自動定理証明
Automated Theorem Proving by Test Set Induction.
著者 (1件):
BOUHOULA A
(INRIA Lorraine & CRIN, Villers-les-Nancy, FRA)
資料名:
Journal of Symbolic Computation
(Journal of Symbolic Computation)
巻:
23
号:
1
ページ:
47-77
発行年:
1997年01月
JST資料番号:
D0359D
ISSN:
0747-7171
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)