About the Completeness of Depth-First Proof-Number Search

論文・著書情報

タイトル

和文:
英文:	About the Completeness of Depth-First Proof-Number Search

著者

和文:	岸本章宏, Martin Mueller.
英文:	Akihiro Kishimoto, Martin Mueller.

言語

English

掲載誌/書名

和文:
英文:	Lecture Notes in Computer Science

巻, 号, ページ

Volume 5131 page 146-156

出版年月

2008年9月

出版者

和文:
英文:	Springer

会議名称

和文:
英文:	6th International Conference on Computers and Games (CG'2008)

開催地

和文:
英文:

DOI