<電子ブック>
Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
本文を見る Full text available from Springer Computer Science eBooks 2007 English/International

詳細

レコードID
刊行頻度
主題
SSID
eISBN
注記
登録日 2020.06.27
更新日 2021.06.23