Yi Guang-Hui | Institute of Cardiovascular Research, Key Laboratory for Atherosclerology of Hunan Province, Life Science Research Center, University of South China.
スポンサーリンク
概要
- Li Xiao-Xuの詳細を見る
- 同名の論文著者
- Institute of Cardiovascular Research, Key Laboratory for Atherosclerology of Hunan Province, Life Science Research Center, University of South China.の論文著者
論文 | ランダム
- 強い否定を含む構成的理論による分解証明法の定式とメタ理論
- 下降型縦型探索を行なう自然言語の構文解析のゲンツェン式定式化
- コンスタントな命題を中心とする古典命題論理
- 強い否定を含む構成的命題論理における公理の単純化
- 強い否定を含む構成的述語論理によるPROLOGの解釈