文献管理软件

相关

• 谓词逻辑在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。
• 尤金·派克尤金·纽曼·帕克（英语：Eugene Newman Parker，1927年6月10日－），美国天文学家。尤金·帕克于1948年自密歇根州立大学学士毕业，1951年自加州理工学院取得博士学位。1950年代他研究出
• 极子极子是在凝聚态物理中使用的准粒子，用于理解固体材料中电子和原子之间的相互作用。 Lev Landau于1933年首次提出极化子概念来描述在电介质晶体中移动的电子，其中原子从其平衡
• 巴列姆期巴列姆期（英语：Barremian）是白垩纪的第四个时期，年代大约位于129.4–125百万年前。该地质年代的典型地点（英语：Type locality (geology)）位在法国普罗旺斯-阿尔卑斯-蓝色海岸大区上
• 心皮雌蕊群，或雌花器（英语：Gynoecium），为被子植物花中的心皮的总称。传统上把较典型形态的花的花部中，由子房、花柱、柱头等部位构成者称为雌蕊（pistil），但在一朵花为多心皮、离生的状态
• 德意志1848年革命德意志1848-1849年革命（德语：Deutsche Revolution 1848/1849），其最初阶段亦被称作三月革命（德语：Märzrevolution)，原本是在1848年于诸多欧洲国家爆发的大规模革命的一部分。它们是
• 路环图书馆路环图书馆（葡萄牙语：Biblioteca de Coloane），是位于路环十月初五马路，文化局辖下的公共图书馆，藏书量约为9400册。建筑物前身为建于1911年的路环公局市立学校，其后几度改变用途，至1
• 耶姆米加努尔耶姆米加努尔（Yemmiganur），是印度安得拉邦Kurnool县的一个城镇。总人口76428（2001年）。该地2001年总人口76428人，其中男性38662人，女性37766人；0—6岁人口11027人，其中男5687人，女5340
• 上林德科格尔山坐标：48°0′28″N 16°8′8″E / 48.00778°N 16.13556°E / 48.00778; 16.13556上林德科格尔山（德语：Hoher Lindkogel），是奥地利的山峰，位于该国东北部，由下奥地利州负责管辖，属于
• 宇进产电株式会社 宇进产电（韩语：주식회사 우진산전 / 株式會社 宇進産電）是一间位于大韩民国忠清北道槐山郡的电机制造商。该公司成立于公元1974年，以生产车用电阻装置起家，近年更扩展业务至铁路电机设备、铁路车辆、电力交通车辆的制造。