陈火旺相关论文
金风送爽、丹佳飘香。日前,张家界市武陵源区政府、张家界国家森林公园管理处和知名信息产业企业湖南苏博泰克公司就在张家界市武......
由计算机学会直属理论计算机科学学组委托华东化工学院计算机系主办、苏州大学工学院协办的第二次全国计算机逻辑学术研讨会于199......
由计算机学会直属计算机理论学组与软件分会程序理论学组举办的计算机科学与逻辑学术讨论会于1989年12月12日——15日在汕头大学......
一九九七年中国科学院、中国工程院增选院士选举结果于十二月四日揭晓。中央在湘单位有五位专家新当选为中国工程院院士,他们是中......
(2 0 0 1～ 2 0 0 5)主 编 : 王守觉 副主编 : 李衍达 杨芙清 钟义信 袁保宗 刘 力 编 委 : 保 铮 曹志刚 陈弘毅 ......
湖南省计算机学会第二次全省会员代表大会暨第三届学术年会于91年11月4～5日在湖南大学召开,参加会议的代表共97人。学术论文78篇会......
快马加鞭未下鞍 人到中年,陈火旺在计算机科学事业上焕发的能量越来越大,生命之火越烧越旺,祖国和人民赋予他的使命也越来越重。 ......
1997年12月,国务院批准公布了中国工程院新增选院士名单,国防科技大学教授陈火旺名列其中。熟悉陈火旺经历的人们都由衷佩服,这个......
由中国计算机学会主办,国防科技大学计算机系承办的第三届全国青年计算机学术会议(NCYC＇91)于5月22～24日在湖南长沙举行,350多位来......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
在中国计算机界,陈火旺、李三立院士是这个领域的前辈了。为了中国的计算机事业,他们勤勤恳恳、任劳任怨耕耘了大半辈子。因为陈火......
本刊讯 (记者续丰收 )“我国信息基础设施安全体系的建设势在必行。”这是日前 60多位计算机专家学者会聚长沙 ,参加中国计算机学......
本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与之相关的一些概念和定理。
This article introduces the status quo of ......
文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明......
陈火旺，一个朴素的名字，一个洋溢着生命热情的名字，一个与中国“银河”计算机事业紧密相连的名字。 在这一名字的后面，缀着一长条用......
<正> 当我提着文件夹,敲开一扇门,见到了自己的采访对象,并与他(她)一起坐下来交谈时,我明白,我应该是这场即将开始的谈话不露痕迹......
