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

メタ定理を取り扱う直観主義論理体系の証明システムの設計と実現

Research Project

Project/Area Number 04858005
Research Category

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

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionTohoku University

Principal Investigator

亀山 幸義  東北大学, 電気通信研究所, 助手

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

URL: 

Published: 1992-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi