张朋来

相关

• 亚结构逻辑在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基
• 榛榛（学名：Corylus heterophylla）为桦木科榛属的植物。落叶灌木或小乔木；幼枝有软毛及腺毛；圆卵形至倒卵形的叶子，顶端稍平截，有长尖头，边缘有不规则锯齿和小裂片；早春先叶开花，雌雄同株
• 植物群植物相（拉丁文：Flora，源自罗马神话里的花之女神）又译植物群或植物区系，指某一地区某一时段的特定植物种群。Flora另一个意思是植物志，是对一个植物区系的纪录和描述。植物相的原字
• 山茱萸山茱萸（学名：Cornus officinalis），山茱萸科落叶灌木或小乔木。其成熟果实为中药，别名山萸肉、药枣、枣皮、蜀酸枣、肉枣、薯枣、鸡足、实枣、萸肉、天木籽、山芋肉、实枣儿、山萸
• 遗尿夜遗尿（英语：Nocturnal enuresis），俗称尿床，部分地区也叫做攋尿（讹写作“濑尿”，“攋”是撒、遗、弃的意思），是指五岁或以上的儿童，于睡眠时不自觉的排尿现象。这是一个在儿童期很常见
• 马来西亚鞭刑鞭刑是一种在马来西亚广泛施行的合法体罚。鞭刑可以再细分为以下三种情形：司法、伊斯兰教法（sharia）和学校体罚。三种情形中以司法鞭刑程度最为严重。这种刑罚只对触犯法律的男
• 狄肯盘唇鲿狄肯盘唇鲿为辐鳍鱼纲鲇形目倒立鲇科的其中一种，为热带淡水鱼，分布于非洲肯亚及坦桑尼亚淡水流域，体长可达7公分，栖息在底中层水域，生活习性不明。 维基物种中有关狄肯盘唇鲿的数
• 莲溪寺莲溪寺位于武汉市武昌区涂家岭四村51号，古籍中记载此地原名“蟠龙山”。莲溪寺是武汉市“四大丛林”，所谓丛林，就是僧侣聚集之处，民国十七年（1928年）体空禅师在此开办了当时全国佛
• FireflightFireflight 是来自美国的基督摇滚乐团，在1999年于尤斯蒂斯(佛罗里达州)组成。 歌曲"For Those Who Wait" 的音乐录影带被提名于第42届金鸽奖的最佳音乐录影带短片。
• 格尔托湖坐标：53°21′20″N 12°56′30″E / 53.35556°N 12.94167°E / 53.35556; 12.94167格尔托湖（德语：Görtowsee），是德国的湖泊，位于该国东北部，由梅克伦堡-前波美拉尼亚州负责管辖，