咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 化学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 工学
    • 1 篇 化学工程与技术

主题

  • 2 篇 proof.
  • 1 篇 lattice
  • 1 篇 valued
  • 1 篇 chiral
  • 1 篇 carbonyl
  • 1 篇 logic
  • 1 篇 formal
  • 1 篇 metal
  • 1 篇 algebra
  • 1 篇 implication
  • 1 篇 chirality
  • 1 篇 tetrahedron
  • 1 篇 cluster

机构

  • 1 篇 lanzhou institut...
  • 1 篇 state key labora...
  • 1 篇 sw jiaotong univ...

作者

  • 1 篇 武和平
  • 1 篇 金道森
  • 1 篇 殷元骐
  • 1 篇 黄小荥
  • 1 篇 song zm
  • 1 篇 qin ky
  • 1 篇 xu y

语言

  • 2 篇 英文
检索条件"主题词=proof."
2 条 记 录,以下是1-10 订阅
排序:
Syntax of first-order lattice valued logic system FM
收藏 引用
Chinese Science Bulletin 1997年 第16期42卷 1337-1340页
作者: Xu, Y Qin, KY Song, ZM Sw Jiaotong Univ Dept Appl Math Chengdu 610031 Peoples R China
PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Synthesis, chirality proof.and crystal structure of chiral tetrahedral clusters
收藏 引用
Chinese Science Bulletin 1995年 第19期40卷 1613-1616页
作者: 武和平 殷元骐 金道森 黄小荥 Lanzhou Institute of Chemical Physics Chinese Academy of Sciences Lanzhou 730000 China State Key Laboratory of Structure Chemistry Fujian Institute of Research on Structure of Matter Chinese Academy of Sciences Fuzhou 350002 China
Each of the four vertices in chiral tetrahedral hetero-nuclear metal carbonyl clusters SFeCoM(CO)8Cp′(Ⅲ-V) is chemically different and no symmetric element could be derived from prochiral cluster SFeCo2(CO)9... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论