计算机科学逻辑方法期刊

相关

• 科普利奖章科普利奖章（英语：Copley Medal）是英国皇家学会每年颁发的科学奖章，以奖励“在任何科学分支上的杰出成就”。始于1731年授予斯蒂芬·格雷（英语：Stephen Gray (scientist)）的科普利奖
• 风温风温是指由风热病邪引起的急性外感热病。多发生于春冬季节，起病较急，初起以发热、微恶寒、头痛、咳嗽等肺卫证候为主要特点。其发于冬季的又称冬温。根据好发季节及临床表现，本
• 强直阵挛发作强直－阵挛性发作（英语：tonic-clonic seizure），又称为大发作（英语：grand mal seizure），是最为常见的全身性发作类型。任何年龄均可发病，但常见于儿童。强直－阵挛性发作包括强直期（tonic p
• 乌拉城乌拉部故城，位于中国吉林省吉林市龙潭区乌拉街满族镇旧街村，是明代海西女真乌拉国都城——乌拉城。城池可追溯至1140年代开始修筑的洪尼罗城。渤海国时期，在今旧街西北1公里处
• 塔特拉山塔特拉山脉（波兰语：Tatry；斯洛伐克语：Tatry；英语：Tatra）是位于中欧的山脉，是喀尔巴阡山脉之中最高，也是斯洛伐克与波兰的边界山脉。最高峰格尔拉赫峰，海拔2655米。斯洛伐克和波兰的跨
• 佩德罗·尤金尼奥·阿兰布鲁佩德罗·尤金尼奥·阿兰布鲁·西尔维蒂（Pedro Eugenio Aramburu Cilveti，1903年5月21日－1970年6月1日），阿根廷总统(1955-1958)、将军。阿兰布鲁就读于Colegio Militar de la Naci
• 哈萨克斯坦总理哈萨克斯坦政府与政治 系列条目以下列出哈萨克共和国自1991年独立以来之总理列表:哈萨克斯坦人民团结联盟/祖国之光（Nur Otan）   独立人士
• 沃尔纳特河沃尔纳特河（英语：Walnut River）是阿肯色河的一条支流，密西西比河的二级支流，长约154英里（248千米），位于美国堪萨斯州东南部。根据GNIS信息系统，这条河流在历史上曾经被叫做“小弗迪格
• 欧拉方程 (刚体运动)在物理学上，欧拉方程统治刚体的转动。我们可以选取相对于惯量的主轴坐标为体坐标轴系。这使得计算得以简化，因为我们现在可以将角动量的变化分成分别描述
• ASP.NETASP.NET是由微软在.NET Framework框架中所提供，开发Web应用程序的类别库，封装在System.Web.dll文件中，显露出System.Web名字空间，并提供ASP.NET网页处理、扩展以及HTTP通道的应