대구한의대학교 향산도서관

선택목록저장

검색간략리스트

저널기사
Convergence Properties of Optimization Algorithms for the SAT Problem / J.Gu Q.-P.Gu D.-Z.Du / IEEE computer society / IEEE Transactions on computers / 1996 /
항목 :