王湘浩相关论文
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
根据中国电子学会计算机学会一九七九年学术活动计划的安排,由吉林大学、北京大学、中国科学院计算数学研究所、吉林省计算机技术......
为了加快实现新时期的总任务,进一步落实全国科学大会和全国教育工作会议的精神,有力地促进学校科学研究事业的发展,我校于一九七......
为了活跃学术思想,提高科研教学水平,9月份我院先后邀请了10名数学家来院座谈并讲学。他们是:柯召教授(中国科学院学部委员、四川......
今年二月政務院文教委員會决定把編印現代中國科學論著叢刊作爲今後該會的重要工作之一,特拨專款把這件光榮的任務交給中國科學院......
欣闻《数学教育学报》创刊发行,仅向贵刊表示热烈的祝贺! 祝贵刊为推动中国数学教育科学研究、促进国际交流与合作作出贡献。 中华......
今年5月,正当《数学教育学报》总第2期(93—1)即将印装完毕之际,传来了令人难以置信的噩耗:王湘浩先生因病离开了我们。 作为中国......
数学方法论选讲 徐利治著0.90元数理逻辑教程 莫绍搂著2.85元图论导5!李修睦著2.50元线性代数_王湘浩 杨荫华编1.15元数值分析(通用......
十二月二、三日在北京召开了计算机学会正、副主任委员会议。出席的有:代主任委员蒋士騛,副主任委员陈力为、张效祥、张梓昌、莫......
第1期语义学中的关系方法·············1················,二程序逻辑基础和强终结定理·····......
专业学组是学会工作的基础,是学会的重要组成部分。共目的是促进有关学科及计算机事业的发展,人才的培养,以及学派的形成。中国电......
夏培素先生是我国计算机界的元老,在她的记忆中印象最深的是1956年制定。我国科学长期规划”,这次规划的制定开始了我国的计算机......
1993年底,暨南大学科研简报总第45期刊登了一则引人关注的消息:该校的苏运霖教授在一年之内,获得了五项荣誉:被美国纽约科学院选......
文献[1]中王湘浩等给出了不同于 Robinson 归结方法的广义归结方法,可用于对不带等词的一阶谓词演算定理的一般形式直接进行机器证......
中国近代的发展展现了无数仁人志士为我们民族的现代化而拼搏的一幅波澜壮阔的画卷.这其中也包括了教育战线上诸多前辈的努力,傅种孙......
國務院關於公布中國科學院學部委員名單的命令中國科學院學部委員名單共二百三十三人,已由一九五五年五月三十一日國務院全體會議......