メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
ホーン集合反証機構を用いた述語論理型プログラム言語と他の言語との結合に関する研究
Research Project
All
Fiscal Year 1982
grantAwardInfo
Project/Area Number
57750309
Research Category
Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type
Single-year Grants
Research Field
計算機工学
Research Institution
Kyushu University
Principal Investigator
高木 利久
九州大学, 助手
Project Period (FY)
1982
Project Status
Completed (Fiscal Year 1982)
Budget Amount
*help
¥250,000 (Direct Cost: ¥250,000)
Fiscal Year 1982: ¥250,000 (Direct Cost: ¥250,000)