Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications - - 書籍 - IOS Press - 9781586039295 - 2009
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

980 pages, Illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2009
ISBN13 9781586039295
出版社 IOS Press
ページ数 980
寸法 241 × 168 × 63 mm   ·   1,89 kg
編集者 Biere, A.
編集者 Heule, M.
編集者 Van Maaren, H.
編集者 Walsh, T.