理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-3 共查到数理逻辑与数学基础 C program相关记录3条 . 查询时间(0.093 秒)
Generalized pairs are a natural structure in birational geometry that first appeared in Kodaira’s canonical bundle formula for elliptic fibrations. They were formally introduced by Birkar and Zhang in...
We classify compact K\"ahler manifolds $M$ of dimension $n\geq 3$ on which acts a lattice of an almost simple real Lie group of rank $\geq n-1$. This provides a new line in the so-called Zimmer progr...
In this article the methods of canonical analysis and quantization that were reviewed in the first part of the series are applied to the case of the Dirac field in the presence of electromagnetic inte...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...