Automated Reasoning: 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010

book

発売日

: 2010年

著者／編集

: Jrgen Giesl/Reiner Hhnle

出版社

: SPRINGER NATURE

価格

: 30,008

ISBN

: 9783642142024