理学 >>> 数学 信息科学与系统科学 物理学 化学 天文学 地球科学总论 大气科学 地球物理学 地理学 地质学 水文学 海洋科学 生物学 科学技术史
搜索结果: 1-2 共查到理学 McCarthy相关记录2条 . 查询时间(0.031 秒)
We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare’s conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCar...
We apply the complex interpolation method to prove that, given two spaces of -tuples of operators in the -Schatten class of a Hilbert space , endowed with weighted norms associated to positive and i...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...