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

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

Research Project

Project/Area Number 58580028
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionKyoto 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)

URL: 

Published: 1987-03-30   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi