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
Z会エブリスタディアドバンスト 国語 3.付属品などの揃い具合に関して 【中古】 創価大学 2008/教学社 付属品のあるものは下記の当店基準に則り商品説明に記載しております。 Graphs and Matrices (Universitext) [ペーパーバック] Bapat,Ravindra B. B.