Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

フォーマット:

電子ブック

責任表示:

edited by Holger H. Hoos, David G. Mitchell

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2005

形態:

v.: digital

著者名:

• Hoos, Holger H.
• Mitchell, David G.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 3542

書誌ID:

NB02217829

ISBN:

9783540315803 [3540315802]      

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