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 ご購入前に、必ずプロフィールをご一読ください。高校入試模擬テスト社会大阪府平成29年春受験用。 全国緑化産業 総監