Hits:

Project Name:可计算性逻辑中若干Cirquent演算系统的研究

Leading Scientist:Wenyan Xu

Status:完成

Classification of Project:国家自然科学基金

Sub-Class of Project:青年项目

Project Number:J16013700286

Date of Project Approval:2014-01-01

Scheduled Completion Time:2016-12-01

Date of Project Completion:2016-12-31

Date of Project Initiation:2014-01-01

Project Approval Number:61303030

Date:2018-06-02