メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
論理的プログラムの合成理論と人工知能論への応用
Research Project
All
Fiscal Year 1983
grantAwardInfo
Project/Area Number
58580028
Research Category
Grant-in-Aid for General Scientific Research (C)
Allocation Type
Single-year Grants
Research Field
Informatics
Research Institution
Kyoto University
Principal Investigator
高須 達
京都大学, 数理解析研究所, 教授
Project Period (FY)
1983
Project Status
Completed (Fiscal Year 1983)
Budget Amount
*help
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1983: ¥1,100,000 (Direct Cost: ¥1,100,000)