Release time:2020-01-10
Supported by:Central South University Innovation Program
Project Number:2015CX012
Classification of Disciplines:数学
Date of Project Approval:2015-01-01
Date of Project Completion:2016-12-31
Date of Project Initiation:2015-01-01
Pre One:Computability property vs computational property
Next One:Proof theory of Ramsian type Theorems
The Last Update Time:..