情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」（情報処理学会） [電子書籍]

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

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

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」（情報処理学会） の商品スペック