计算机科学逻辑方法期刊

相关

• 弗朗索瓦·特吕弗弗朗索瓦·罗兰·特吕弗（François Roland Truffaut，1932年2月6日－1984年10月21日），法国著名导演，法国新浪潮（电影创作流派）的代表之一，“作者电影”的提倡者和佼佼者，与法国另一名导
• 维珍尼亚·阿普伽维珍尼亚·阿普伽（英语：Virginia Apgar, 1909年6月7日－1974年8月7日)，美国医生，专科麻醉及儿科。她是麻醉学及畸形学的领先学者，被认为是新生婴儿科的始创人。她发明的阿普伽新生
• 脱氢脱氢是一种化工单元过程，是氢化的相反过程，是减少有机物分子中的氢原子数目的过程，一般有两种方法：脱氢主要用于将丁烷脱氢形成丁二烯作为合成腈纶或合成橡胶的原料；将异戊烯脱氢
• 戴维森－革末实验戴维森-革末实验是克林顿·戴维森与雷斯特·革末设计与研究成功的一个量子力学实验。他们用低速电子入射于镍晶体，取得电子的衍射图案。发表于 1927 年，这实验为德布罗意假说（
• 施密尔舒苏联国防人民委员部反间谍总局（俄语：Главное управление контрразведки СМЕРШ Народного комиссариата оборо
• 斗山世界大百科斗山世界大百科是一本由韩国斗山集团子公司斗山东亚（朝鲜语：두산동아）出版的百科全书，此书以1982年东亚出版社出版的《东亚原色世界大百科》（韩语：동아원색세계대백과사전）为基础，19
• 金属有机《有机金属》（英文名称：）是美国化学会从1982年起开始出版，内容涵盖有机金属化学的学术期刊。《有机金属》有同行评审机制，在汤森路透的2016 Journal Citation Reports中，影响因子
• 今井清今井 清（平假名：いまい きよし、1882年9月10日 - 1938年1月22日）为日本陆军军人。最终阶级为陆军中将。爱知县出身。今井惟清的三男。就读过名古屋陆军地方幼年学校、中央幼年
• Beamer (LaTeX)Beamer 是一个用于创建演示文稿 LaTeX 的文档类。它同时支持LaTeX + dvips、pdfLaTeX、LuaLaTeX以及XeLaTeX。它的名称取自德语词汇 （pseudo-anglicism），意思是影像演示。Beame
• 白屈菜白屈菜（学名：）为罂粟科白屈菜属下的一个种。白屈菜在中国大部分省区均有分布，沂源、博山山区有分布，以鲁山较为集中，生于山谷湿润地带。生于海拔500—2200米的山坡、山谷林缘草地