Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 201

book

発売日

: 2010年

著者／編集

: Ofer Strichman/Stefan Szeider

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642141850