<電子ブック>
Theory and application of satisfiability testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings

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

詳細

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