计算机科学逻辑方法期刊(Logical Methods in Computer Science)创办于2004年是一份属于理论计算与应用逻辑的同行评审科学期刊(Scientific journal)。本期刊显示出两个主要的的特点:以达纳·史考特为总主编的优秀编辑群,经由创作共用的许可使刊物内容以开放获取的方式发行。
首页 >
计算机科学逻辑方法期刊
✍ dations ◷ 2025-06-10 11:37:00 #开放获取期刊,计算机科学期刊,2005年建立的出版物,季期刊
相关
- 旗舰种旗舰种(英语:flagship species)是保护生物学中的一个概念,指能够吸引公众关注的物种。旗舰种的选择并不完全基于生态学意义上的重要性,而是注重它的公众号召力与吸引力。旗舰种能
- 金鱼藻科金鱼藻属(学名:Ceratophyllum)自成一目、一科、一属,是一类分布在全世界范围内的水生植物。一般生活在温带和热带的池塘、沼泽和平静的溪流中。金鱼藻科植物全株都在水面以下生
- 运动片运动片是以运动作为主题的电影类型,此类电影可以是关于某一项运动、体育赛事、运动员的生平事迹,或其追随者的故事。
- 舞鹤舞鹤(1951年10月13日-),本名陈国城,台湾作家,成大中国文学系毕业,曾就读师大国文所、东华创作与英语文学研究所。
- 情爱妄想症钟情妄想(Erotomania)是一种少见的心理疾病,患者会陷入另一个人(通常有较高的社会地位)和他谈恋爱的妄想之中。 为纪念法国精神病学家克雷宏波(1872-1934)于1921年发表了题目为“Le
- 莽原疏林莽原或译稀树莽原、稀树草原(Taíno阿拉瓦克语:sabana),分布于热带地区的又称热带莽原,主要分布于非洲、巴西和澳大利亚的部分地区,草类高大茂密,稀疏的林木散布其间。高温而有
- 牙部牙部,为汉字索引中的部首之一,康熙字典214个部首中的第九十二个(四划的则为第三十二个)。就繁体和简体中文中,牙部归于四划部首。牙部通常是从下方均可为部字。且无其他部首可用
- 克里斯蒂安 (菲斯滕贝格)克里斯蒂安·约阿西姆·马克西米利安·埃贡·尤斯比乌斯·玛利亚·胡贝图斯(Christian Joachim Maximilian Egon Hugo Eusebius Maria Hubertus;1977年11月22日-),出生于多瑙艾辛
- 阿拉斯泰尔·罗宾逊阿拉斯泰尔·罗宾逊博士(Dr. Alastair Robinson,1980年-)为专业从事猪笼草属等植物研究的英国-美国分类学家和植物学家。他发表了第一个关于猪笼草起源的古地理学证据。2007年,阿
- 营业税改征增值税营业税改征增值税,简称为“营改增”,是2012年起在中华人民共和国的一次税收改革。将原先缴纳营业税的应税项目改成缴纳增值税,减少流通环节的重复征税。2012年1月1日起,首先由上