收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

“国际逻辑会议LOGIC2009”会议综述

王玮  
【摘要】:正由贵州大学计算机科学与信息学院主办的"国际逻辑会议LOGIC2009"于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议,他们分别来自贵州大学、贵州民族学院、新

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 贤;;云南大学举办《少数民族文学概论》师训班[J];华夏人文地理;1980年01期
2 吴守华;;六省十四院校协作编写的《中国现代文学史》已定稿[J];云南师范大学学报(哲学社会科学版);1980年05期
3 许立言 ,叶晓青;抗战时期李约瑟在中国的科学活动[J];自然杂志;1981年09期
4 林建曾;1928-1929年贵州军阀周西成·李燊之战[J];贵州社会科学;1981年06期
5 刘光;;寄台湾友人邓幼安(七律)[J];湖南师范大学社会科学学报;1981年04期
6 诺;;十四院校新编《中国现代文学史》出版[J];西华师范大学学报(哲学社会科学版);1981年03期
7 甘凌杰;;解放战争时期的贵大学生运动[J];贵州文史丛刊;1981年04期
8 蒋春堂;中国逻辑与语言研究会在贵阳举行年会[J];哲学研究;1982年11期
9 ;书讯[J];史学月刊;1982年04期
10 ;简讯[J];思维与智慧;1982年04期
中国重要会议论文全文数据库 前10条
1 李发耀;;牂柯江夜郎新考[A];夜郎研究——’99夜郎学术研讨会论文集[C];1999年
2 ;编后记[A];唐代文学研究(第八辑)——中国唐代文学学会第九届年会暨国际学术讨论会论文集[C];1998年
3 史研;;第10届国际逻辑、方法论和科学哲学大会[A];1995年逻辑研究专辑[C];1995年
4 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年
5 ;书讯[A];1998年逻辑研究专辑[C];1998年
6 吴大华;;[A];首届贵州法学论坛文集[C];2000年
7 胡浩;郭泽深;;现代逻辑学术研讨会召开[A];2000年逻辑研究专辑[C];2000年
8 韩继业;俞建;;序言[A];2001年全国数学规划及运筹研讨会论文集[C];2001年
9 罗守成;唐国春;;二维集装箱问题的一个启发式算法[A];2001年全国数学规划及运筹研讨会论文集[C];2001年
10 李泽民;;序线性空间中向量极值问题的最优性条件[A];2001年全国数学规划及运筹研讨会论文集[C];2001年
中国博士学位论文全文数据库 前2条
1 戴仁怀;中国殃叶蝉亚科区系分类及系统发育研究[D];浙江大学;2005年
2 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 张莉敏;悖论与数理逻辑的发展探析[D];河南大学;2003年
2 尹晋;浅述贵州省钢琴学科的建设历程[D];贵州师范大学;2006年
3 饶玲丽;粉煤灰理化性质分析及粉煤灰透水砖的制备研究[D];贵州大学;2006年
4 温琦;农村城镇化发展的制度研究[D];贵州大学;2006年
5 袁振;准契约比较研究[D];贵州大学;2006年
6 曾得意;精喹禾灵多克隆抗体的制备及其应用研究[D];贵州大学;2006年
7 黄奇;基于博弈分析的企业战略联盟稳定性研究[D];贵州大学;2006年
8 段永峰;企业杠杆收购融资决策研究[D];贵州大学;2006年
9 李德燊;基于委托代理理论的国有上市公司治理研究[D];贵州大学;2006年
10 田世会;我国中小企业银行信贷融资研究[D];贵州大学;2006年
中国重要报纸全文数据库 前10条
1 本报记者 刘长焕 王吟;侗歌——世界民族音乐的奇葩[N];贵州政协报;2000年
2 何炳山;高校发展要加大投入统筹规划[N];贵州政协报;2000年
3 记者 胡跃平;贵州龙里县退耕还林整改有成效[N];人民日报;2000年
4 ;电子信息科学与技术[N];中国教育报;2001年
5 记者 唐景莉;教育部将加大对口支援西部高校的力度[N];中国教育报;2001年
6 本报记者 陈朝科;考证择业苦读书[N];贵州政协报;2001年
7 朱梦聪 本报记者 赵廷昌;家长“陪读”能陪出什么?[N];中国教育报;2002年
8 杨柳 朱梦聪 本报记者 赵廷昌;贵州高教:整合资源求发展[N];中国教育报;2002年
9 朱梦聪 记者 赵廷昌;贵州大学一项调查显示:大学生上网亟待引导[N];中国教育报;2002年
10 记者 柳路;银杏叶提取物技术难题被攻克[N];光明日报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978