计算机科学逻辑方法期刊(Logical Methods in Computer Science)创办于2004年是一份属于理论计算与应用逻辑的同行评审科学期刊(Scientific journal)。本期刊显示出两个主要的的特点:以达纳·史考特为总主编的优秀编辑群,经由创作共用的许可使刊物内容以开放获取的方式发行。
首页 >
计算机科学逻辑方法期刊
✍ dations ◷ 2025-04-28 00:58:31 #开放获取期刊,计算机科学期刊,2005年建立的出版物,季期刊
相关
- 单层扁平上皮单层扁平上皮是由形成一连续表面之扁平、形状不规则的细胞所组成,其可被称做人行道状上皮、单层鳞状上皮细胞这个名词是将细胞比喻成鱼的鳞片般。与所有的上皮一样,这种纤细的
- 绳文人绳文人(日语:縄文人/じょうもんじん Jōmon-jin)是日本列岛在绳文时代的原住民团体,他们与之后的弥生人在人类学上有着显著区别。绳文是指利用绳缠绕棒子在黏土容器及塑像上所加
- 肿瘤干细胞癌症干细胞(英语:Cancer Stem Cell,简称:CSC),又称癌干细胞、肿瘤干细胞,是指具有干细胞性质的癌细胞,也就是具有“自我复制”(self-renewal)以及“具有多细胞分化”(differentiation)等
- 淞沪协定《淞沪停战协定》也称《上海停战协定》,是1932年中日之间结束“一·二八”淞沪抗战签订的停战协定。1932年1月28日晚,日本海军陆战队2300人在坦克掩护下由租界向上海闸北一带
- 红柄牛肝菌美味红柄牛肝菌(Boletus erythropus),或称赤柄牛肝菌,是一种野生牛肝菌蘑菇。菌伞阳面呈红褐色至深褐色,阔叶林地上散生。分布于河北、安徽、江苏 、台湾、北欧、北美。可供食用
- 阿第伦达克山脉阿第伦达克山脉(英语:Adirondack Mountains)是美国纽约州东北部的一处山地,位于圣罗伦斯河(北)、莫华克河谷(南)、安大略湖(西)和尚普兰湖-乔治湖(东)之间。最高点为马西山,是纽约州的第一
- 达娜·沃尔默达娜·沃尔默(英语:Dana Vollmer,1987年11月13日-),生于纽约州锡拉丘兹,美国女子游泳运动员。曾参加2004年、2012年和2016年三届奥运,共收获5枚金牌、1枚银牌和1枚铜牌。
- AMD 10hAMD 10h处理器家族是美商超微(AMD)研发并推出市场的一代中央处理器微架构,旧称为K10。在K10微架构尚未推出前,曾有媒体报导K10为已取消的计划,其后超微发言人否认此说法,宣布K10将
- 王越 (明朝)王越(1425年-1498年),字世昌,直隶大名府濬县(今河南省浚县)人,明朝政治人物,景泰辛未进士,官至兵部尚书。封威宁伯。景泰二年(1451年)辛未科进士,授监察御史,出按陕西。父亲去世时,王越因为
- 新加坡旅游业旅游业在新加坡是一个主要的业务和对新加坡经济有巨大的贡献。新加坡在2015年吸引15,231,469名国际游客,即新加坡总人口的三倍以上。 新加坡也十分环境友好,拥有自己的自然及