注目ショップ Proving Theorem Interactive and Coq'Art Development: Program 洋書
Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Bertot,Developmental Evaluation Exemplars: Principles in Practice,Integration of One-forms on P-adic Analytic Spaces, 洋書 [A12216835]Teacher Education for Sustainable Development and Global Citizen 熊本県産大豆ふくゆたか1kg 賞味期限2027年1月19日