論理的プログラムの合成理論と人工知能論への応用

• 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: ¥1,100,000 (Direct Cost: ¥1,100,000); Fiscal Year 1983: ¥1,100,000 (Direct Cost: ¥1,100,000)