情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」　2016/07/15

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」　2016/07/15

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」編集部

770円（税込）
クーポン利用で231円獲得へ

情報処理学会誌「情報処理」人気特集号「SAT技術の進化と応用～パズルからプログラム検証まで～」の別刷デジタル版（iPad対応）。SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術まで　●情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用～パズルからプログラム検証まで～」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。（解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋 剛秀、藤田 博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀）

ジャンル
経済・ビジネス誌
出版社
情報処理学会
提供開始日
2016/07/15
ページ数
40ページ

この作品をシェアする

閉じる
開く

クーポン利用で【70％OFF】231円（税込）で購入できる！ 6回利用可能

初回ログインでもらえる70％OFFクーポン

2024/07/31 23:59 まで有効

同シリーズ

開く