王铭铭

相关

• 验证理论证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根
• 东部大猩猩 (iG. beringei)东部大猩猩（学名：Gorilla beringei）是一种大猩猩，且是灵长目中体型最大的。目前东部大猩猩分为两个亚种：东部低地大猩猩（G. b. graueri）是数目最多的，约有16000头；山地大猩猩（G. b. be
• 航天器一号太空船一号（SpaceShipOne）是一架太空飞机，由鲁坦（Burt Rutan）以及美国缩尺复合体(Scaled Composites)公司制造。使用“混合式火箭引擎”，有双尾翼以及可变的半三角翼机翼，在不同的
• 康斯坦丁二世康斯坦丁·麦克艾德（中世纪盖尔语：Constantín mac Áeda；现代盖尔语：Còiseam mac Aoidh；英语：Constantine, son of Áed；其名直译为艾德之子康斯坦丁，近代的国王列表中称其为康斯
• 轮滑鞋轮滑（roller skating），俗称“旱冰”、直排旱冰，不同于“溜冰”（Skating）及滑雪（Skiing），是一种利用带有轮子的鞋子为比赛工具的陆地竞赛项目，也是一种日常休闲娱乐的健康运动。今日多
• 塞特纳赫特塞特纳赫特（英语：Setnakhte）古埃及新王国时期第二十王朝的首任法老。（约公元前1190年—约公元前1186年在位）第十九王朝法老美楞普塔死后，君权旁落，地方不断叛乱，局势动荡不安。同时
• 塞克赫米布-匹壬马特塞克赫米布-匹壬马特（Sekhemib-Perenmaat）是古埃及第二王朝的一位法老，现在对其所知甚少，人们猜测他可能就是伯里布森本人，或者更有可能是与伯里布森共治埃及的法老——即他统治
• 免疫手术免疫手术（Immunosurgery）是一种移除一个物体外层细胞的方法。在免疫手术中，材料先放置于能与特定抗原（外层细胞）结合的抗体溶液中，之后，除去未结合的抗体，再加入补体，可诱发细胞溶解，
• C2CC2C（Consumer-to-consumer），也称“私对私”是一种交易的方式，它是指个人对个人的交易形式。C2C电子商务较著名的例子有EBay，淘宝等。 其他交易方式有：B2C（公司对个人，公对私）、B2B（公
• 国家中医药研究所卫生福利部国家中医药研究所（简称中医所）是中华民国唯一国家级中医药研究公立机构，现隶属于卫生福利部，成立于1963年。掌理有关中医药之研究、实验及发展等事宜，拥有近三十位中药