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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=176881
