Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings

フォーマット:

電子ブック

責任表示:

edited by Armin Biere Carla P. Gomes

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2006

形態:

v.: digital

著者名:

• Biere Armin
• Gomes Carla P.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 4121

書誌ID:

NB02218346

ISBN:

9783540372073 [3540372075]      

学内からのみアクセスすることができます。