عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
۳۹۶۴۳۵۳
SAT2000 : highlights of satisfiability research in the year 2000
/Ian Gent , Hans van Maaren, Toby Walsh.
Amsterdam
: IOS Press
= 1379.
۵۶۱ ص.
: مصور، نمودار.
Frontiers in artificial intelligence and applications
; 63.
در انتظار فهرستنویسی (اطلاعات ثبت)
