Title of article
A solution to the GHI problem for depth-first proof-number search
Author/Authors
Akihiro Kishimoto، نويسنده , , Martin Müller، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
19
From page
296
To page
314
Journal title
Information Sciences
Serial Year
2005
Journal title
Information Sciences
Record number
176881
Link To Document