Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 201

book

発売日

: 2010年

著者／編集

: Matt Kaufmann/Lawrence C. Paulson

出版社

: SPRINGER NATURE

価格

: 30,008

ISBN

: 9783642140518