咨询与建议

限定检索结果

文献类型

  • 68 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 46 篇 理学
    • 27 篇 数学
    • 6 篇 化学
    • 5 篇 物理学
    • 3 篇 天文学
    • 1 篇 地球物理学
    • 1 篇 统计学(可授理学、...
  • 14 篇 医学
    • 14 篇 临床医学
    • 2 篇 中西医结合
    • 1 篇 中医学
    • 1 篇 药学(可授医学、理...
  • 12 篇 工学
    • 3 篇 材料科学与工程(可...
    • 3 篇 计算机科学与技术...
    • 2 篇 电气工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 机械工程
    • 1 篇 控制科学与工程
    • 1 篇 轻工技术与工程
    • 1 篇 食品科学与工程(可...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 农学
    • 1 篇 林学

主题

  • 68 篇 formulas
  • 6 篇 empirical
  • 6 篇 letter
  • 5 篇 of
  • 4 篇 proof
  • 4 篇 integer
  • 3 篇 calculating
  • 3 篇 uniqueness
  • 3 篇 and
  • 3 篇 approximate
  • 3 篇 bonds
  • 3 篇 mentioned
  • 3 篇 maximal
  • 3 篇 the
  • 2 篇 series
  • 2 篇 anion
  • 2 篇 lemma
  • 2 篇 saturated
  • 2 篇 dipole
  • 2 篇 hyperbolic

机构

  • 1 篇 puente de piedra...
  • 1 篇 department of ma...
  • 1 篇 institute of ele...
  • 1 篇 institute of app...
  • 1 篇 department of ma...
  • 1 篇 institute of sol...
  • 1 篇 international ce...
  • 1 篇 hunan university...
  • 1 篇 university of st...
  • 1 篇 institute of mat...
  • 1 篇 图卢兹大学
  • 1 篇 beijing zoo
  • 1 篇 changchun geolog...
  • 1 篇 the third branch...
  • 1 篇 beijing universi...
  • 1 篇 college of power...
  • 1 篇 no.1 clinical me...
  • 1 篇 universidad autó...
  • 1 篇 institute of bas...
  • 1 篇 sichuan universi...

作者

  • 1 篇 enayat m. hassan
  • 1 篇 kouadio vincent ...
  • 1 篇 yu-liang wang
  • 1 篇 杨科文
  • 1 篇 周正
  • 1 篇 梁媛岳
  • 1 篇 alexey stakhov
  • 1 篇 杜品仁
  • 1 篇 陈昭宜
  • 1 篇 safarov ismail i...
  • 1 篇 刘泽民
  • 1 篇 张杰
  • 1 篇 陈则韶
  • 1 篇 刘红春
  • 1 篇 lassina cisse
  • 1 篇 胡宁海
  • 1 篇 meng xu
  • 1 篇 claude billeaud
  • 1 篇 boltayev zafar i...
  • 1 篇 tatyana alexandr...

语言

  • 64 篇 英文
  • 4 篇 中文
检索条件"主题词=formulas"
68 条 记 录,以下是51-60 订阅
排序:
关于APAL完全性的一个简要证明(英文)
收藏 引用
逻辑学研究 2015年 第1期8卷 65-78页
作者: 菲利普·鲍博尼 汉斯·范·狄马赫 图卢兹大学法国国家科学研究中心信息研究所 洛林大学法国国家科学研究中心信息与计算机科学研究与应用实验室
鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Perfect Partitions
收藏 引用
数学进展 1985年 第3期 287-288页
作者: 王萼芳
A partition of n is said to be perfect when it contains just one partition of everynumber up to n.For any number n,the n-partition(1,1,…,1)is always perfectand for any odd number n=2κ+1,the n-partition(1,2,…,2)is ... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
ARTIFICIAL INTELLIGENCE IDENTIFICATION OF MOLECULAR STRUCTURES OF ORGANIC COMPOUNDS (SGSSP PROGRAM)
收藏 引用
Chinese Science Bulletin 1983年 第9期28卷 1286-1287页
作者: 胡鑫尧 王心枢 Department of Chemistry and Chemical Engineering Qinghua University Beijing Department of Chemistry and Chemical Engineering
The strueture generator and substructure search computer program (SGSSp) has been used in identification of molecular struclures. It can generate all structures of isomers (cyclic and acylic) from empirical formulas.T... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
THE INDICES OF CONVERGENCE FOR IRREDUCIBLE AND NEARLY REDUCIBLE BOOLEAN MATRICES
收藏 引用
Chinese Science Bulletin 1990年 第13期35卷 1138-1139页
作者: 邵嘉裕 Department of Applied Mathematics Tongji University Shanghai 200092 PRC
The index of convergence k(A)of a square Boolean matrix A is defined to be the least nonnegative integer k such that Ak= Ak1 for some k1>k; and the index of convergence k(D) of a digraph D is just the index of con... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ON CHROMATIC POLYNOMIALS OF TWO CLASSES OF GRAPHS
收藏 引用
Chinese Science Bulletin 1987年 第16期32卷 1147-1148页
作者: 刘儒英 Qinghai Normal University Xining
Up to the present, there are few classes of graphs of which chromatic polynomials can be computed with formulas. For most graphs, computing their chromatic
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
SXNGULAR INTEGRALS IN SEVERAL COMPLEX VARIABLES(Ⅰ)——THE HENKIN INTEGRALS ON STRICTLY PSEUDOCONVEX DOMAINS
收藏 引用
Chinese Science Bulletin 1982年 第11期27卷 1157-1158页
作者: 龚昇 史济怀 University of Science and Technology of China Hefei Institute of Applied Mathematics Academia Sinica Beijing
In several complex variables, the Henkin-Ramirez kernels and the Stein-Kerzman kernels of strictly pseudoconvex domains are very important. It is noticed that solutions of problems may be represented explicitly by the... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
STUDIES ON BIS (ALKENYLCYCLOPENTADIENYL) METAL DERIVATIVES OF TITANIUM, ZIRCONIUM AND HAFNIUM
收藏 引用
Chinese Science Bulletin 1983年 第7期28卷 1003-1004页
作者: 陈寿山 魏荣宝 王积涛 Institute of Elemento-Organic Chemistry Nankai University Tianjin Institute of Elemento-Organic Chemistry
A series of new organometallic compounds have been synthesized by sodium alkenylcyclopentadienide reacting with metal chlorides in THF, the compounds with the general formula (η5RC5H4)2MCl2, where M=Ti, Zr, Hf; R=a... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
The Degree of Unsolvability of Models
收藏 引用
数学进展 1985年 第2期 190-191页
作者: 岳其静 Beijing Normal University
The purpose of this paper is to describe the complexity of models by theirdegrees of unsolvability,J.Richter defined the degree of a structure to be deg ()=sup{deg(),deg(R_i),i=1,…,n},Where is a model for afinite la... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
Hand Rearing Common Zebra (Equus quagga)
收藏 引用
Animal Husbandry and Feed Science 2014年 第1期6卷 4-5页
作者: Liu He Wu Zhaozheng Zhang Jinguo Wang Zezhong Wang Yue Beijing Zoo
This paper documented a successful hand rearing process of a 43-day-old zebra which was raised for 174 d and weaned at 217 days of age. The hand-rearing condition was recorded from nursing techniques, medical care and... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
A NEW MULTIFUNCTIONAL APPARATUS FOR MEASURING THERMOPHYSICAL PROPERTIES BASED ON QUASI-STEADY TECHNIQUE
收藏 引用
Chinese Science Bulletin 1982年 第1期27卷 127-128页
作者: 陈则韶 葛新石 Universisy of Science and Technology of China
In this letter the design and construction of a new multifunctional apparatus for measuring thcrmophysical properties based on quasi-steady technique is reported. With this apparatus thermophysieal properties such as ... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论