• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

コンピュータを用いた推論による論理的な証明の指導内容の研究

Research Project

Project/Area Number 04913015
Research Category

Grant-in-Aid for Encouragement of Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 数学
Research Institution文部省

Principal Investigator

村上 潔  , 文部省・初等中等教育局, 教科書調査官

Project Period (FY) 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥180,000 (Direct Cost: ¥180,000)
Fiscal Year 1992: ¥180,000 (Direct Cost: ¥180,000)

URL: 

Published: 1992-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi