記錄 1 之 2
Record:   Prev Next
作者 SAT 2007 (2007 : Lisbon, Portugal)
書名 Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings / edited by Joao Marques-Silva, Karem A. Sakallah
出版項 Berlin Heidelberg : Springer-Verlag GmbH., 2007
國際標準書號 9783540727880 (electronic bk.)
9783540727873 (paper)
book jacket
記錄 1 之 2
Record:   Prev Next