文献
J-GLOBAL ID:200902183030715305
整理番号:94A0334010
証明数の探索
Proof-number search.
著者 (3件):
ALLIS L V
(Univ. Limburg, Maastricht, NLD)
,
VAN DER MEULEN M
(Univ. Limburg, Maastricht, NLD)
,
VAN DEN HERIK H J
(Univ. Limburg, Maastricht, NLD)
資料名:
Artificial Intelligence
(Artificial Intelligence)
巻:
66
号:
1
ページ:
91-124
発行年:
1994年03月
JST資料番号:
E0180C
ISSN:
0004-3702
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)