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

“全国逻辑与计算机科学学术研讨会”综述

熊明辉  

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 吴家国;再论解决充足理由律问题的基本途径[J];北京师范大学学报(社会科学版);1980年04期
2 马玉珂 ,苏越;对不矛盾律和排中律的关系及其内容的新探[J];湖北大学学报(哲学社会科学版);1980年04期
3 林淑娟 ,袁长在;论俄语逻辑语调规律[J];外语学刊;1980年04期
4 凌雨轩;大力开展辩证逻辑的研究——学习列宁关于辩证法、认识论、逻辑三者统一的思想[J];人文杂志;1980年01期
5 马伟;也谈宾语的位置——对前置宾语质疑[J];大理学院学报;1980年01期
6 马鹤鸣;逻辑学在今天[J];大理学院学报;1980年01期
7 褚可邑;检验教学真理性的唯一标准只能是社会实践[J];华南师范大学学报(自然科学版);1980年01期
8 吕政春;关于假言判断的联项和符号化问题[J];齐齐哈尔大学学报(哲学社会科学版);1980年Z1期
9 李公天 ,向熙阳;逻辑证明不是检验真理的标准[J];求实;1980年Z2期
10 田崇勤;关于思维方法的一点浅见[J];江淮论坛;1980年03期
中国重要会议论文全文数据库 前10条
1 顾基发;;系统工程中的“软”、“硬”方法[A];发展战略与系统工程——第五届系统工程学会年会论文集[C];1986年
2 宋晓秋;;(T)Fuzzy积分及其应用[A];全国青年管理科学与系统科学论文集(第2卷)[C];1993年
3 Michele VIO;陈云水;;关于空气热源热泵机组的COP值[A];第九届全国冷水机组与热泵技术学术会议论文集[C];1999年
4 张石麟;;言语形成机制和言语表达能力[A];外语语言教学研究——黑龙江省外国语学会第十次学术年会论文集[C];1996年
5 宋立亚;;英语定语从句的翻译[A];外语语言教学研究——黑龙江省外国语学会第十一次学术年会论文集[C];1997年
6 王希杰;;语言的规范化和言语的得体性[A];得体修辞学研究[C];1999年
7 李敬德;;坚持社会主义与初级阶段的统一——关于新中国成立以来基本国情问题的回顾与思考[A];探索新路构筑辉煌——庆祝中华人民共和国建国五十周年论文集[C];1998年
8 徐泽同;;城市信息化问题[A];发展的信息技术对管理的挑战——99’管理科学学术会议专辑(下)[C];1999年
9 王淑芝;;逻辑“与或”式化简过程中多余项及多余因子的确定方法[A];教研撷华——青海师大附中建校45周年论文集[C];1999年
10 席酉民;冯耕中;;应用于DSS设计并支持决策分析的决策环境模型[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年
中国博士学位论文全文数据库 前10条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
3 杜国平;“真”的历程[D];中国社会科学院研究生院;2000年
4 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
5 尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年
6 刘志;基于逻辑情景演算的虚拟企业过程建模研究[D];浙江大学;2001年
7 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
8 张拴平;张申府哲学思想研究[D];中共中央党校;2001年
9 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年
10 张缨;信任、契约及其规制[D];中国社会科学院研究生院;2001年
中国硕士学位论文全文数据库 前10条
1 王菲;安全技术研究及其在MIS中的应用[D];大连理工大学;2000年
2 周世杰;网络环境下中间件技术研究与开发[D];电子科技大学;2000年
3 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年
4 和国强;评杜威工具主义真理观[D];首都师范大学;2000年
5 蓝国桥;“逻辑—心理”结构[D];广西师范大学;2000年
6 赵洋;基于智能体概念的虚拟企业管理信息系统模型[D];昆明理工大学;2000年
7 刘旭友;构建中国再保险市场组织体系[D];广西师范大学;2000年
8 唐汉卫;教育研究中的实践整合观初探[D];山东师范大学;2000年
9 李群;高速公路收费系统及分布式数据库研制与开发[D];西安电子科技大学;2001年
10 陈虹;泛逻辑运算的电路实现研究[D];西北工业大学;2001年
中国重要报纸全文数据库 前10条
1 吴月辉;斯坦福大学启动跨学科研究项目[N];中国化工报;2000年
2 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年
3 高汉文;第四代无人驾驶汽车研制成功[N];中国汽车报;2000年
4 本栏由广东中山图书馆供稿;汉字可能通行全球[N];中国文化报;2000年
5 吕来明;法律适用中的逻辑与经验[N];法制日报;2000年
6 国家信息中心 步德迎;大势所趋:网络技术与传统产业相结合[N];国际商报;2000年
7 ;搞哲学的人应当有较高的逻辑修养[N];光明日报;2000年
8 ;探讨改革开放的逻辑[N];光明日报;2000年
9 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
10 记者 许鹤;我省“人才培养模式改革和开放教育试点”正式启动[N];吉林日报;2000年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978