メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
メタ定理を取り扱う直観主義論理体系の証明システムの設計と実現
Research Project
All
Fiscal Year 1992
grantAwardInfo
Project/Area Number
04858005
Research Category
Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type
Single-year Grants
Research Field
Informatics
Research Institution
Tohoku 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)