英文日本大百科事典 4/講談社(単行本) ご満足のいく取引となるよう精一杯対応させていただきます。Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot,Yves; Cast?ran,Pierre。 電気通信大学 (2013年版 大学入試シリーズ) 教学社編集部