期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

前言

原文传递

导出

摘要全国计算机数学学术会议是中国数学学会计算机数学专业委员会主办的系列学术会议．第四届全国计算机数学学术会议由广州大学计算机科学与教育软件学院和中国科学院数学机械化重点实验室承办．本届会议于2011年11月25日至28日在广州大学桂花岗校区学术交流中心召开．来自国内科研院所、

作者李子明

机构地区中国科学院数学与系统科学研究院

出处《系统科学与数学》 CSCD 北大核心 2012年第8期I0001-I0001,共1页 Journal of Systems Science and Mathematical Sciences

关键词计算机数学学术会议广州大学重点实验室数学机械化中国科学院计算机科学专业委员会

分类号 TP301.6 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

1第四届全国计算机数学学术会议在广州大学召开[J].广州大学学报（自然科学版）,2012,11(1):76-76.
2李洪波,郭梅芳,黄金飞.计算机学院提升课堂教学效果调查报告[J].科海故事博览：科教创新,2011(9):129-130.
3文字和图画一起跳舞[J].小学生导刊（中年级版）,2016,0(9):48-48.
4数学机械化与自动推理平台[J].中国科学院院刊,2002,17(2):122-123.
5孙国秀.超级计算机新秩序[J].科学画报,2004(12):23-23.
6段欣妤,郭妍,刘双双.简述《离散数学》在信息时代的作用[J].考试周刊,2008,0(12):59-60.
7赵喜清,米海英,章彦俊.“吴方法”在数学CAI中的应用与研究[J].河北北方学院学报（自然科学版）,2006,22(3):74-77. 被引量：1
82010中国卫星环境遥感应用论坛在上海成功举办[J].河北遥感,2010(2).
9杨路.计算机与智力:推理过程的机械化[J].广州大学学报（综合版）,2001,15(2):7-10.
10王渝生.传统数学的机械化特征与21世纪数学的发展[J].科学中国人,2001(7):17-19.

系统科学与数学

2012年第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部