国际多值逻辑会议简讯

来源 :计算机学报 | 被引量 : 0次 | 上传用户:gulujiang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
IEEE第十三届国际多值逻辑学术会议于一九八三年五月二十三日至五月二十五日在日本京都召开。与会各国学者八十余人。共发表论文54篇,另外还有4个专题报告。论文中包括以下方面内容:(1)逻辑设计9篇;(2)逻辑学(哲学)7篇;(3)电路技术
其他文献
据联合国粮农组织(FAO)最近预测,今年,全球禽肉产量可能达到8400万t,而出口量接近900万t(表1)。在过去10年中,有几个国家的禽肉产量和贸易量有所增长,特别值得一提的是,巴西对全球禽肉
无功功率补偿能够降低供电系统的功率损耗和电能损耗,减少变压器和线路中的电压损失和提高供电设备利用率。该文通过一单元低压配电系统无功补偿柜的设计过程,阐述了低压配电系
分析了目前监理招标工作中存在的问题,提出了应对措施和建议。
聚对苯二甲酸丁二醇酯(PBT)是重要的半结晶性热塑性聚酯,差别化的聚酯产品需要差别化的结晶性能。文章合成得到间苯二甲酸(IPA)含量0~20%改性PBT共聚酯样品,DSC分析表明改性共聚酯
据《欧洲橡胶杂志》报道,近日,透明度市场研究咨询公司发布的市场报告表明,到2018年,全球ABS需求量市值将增至261亿美元,年均复合增长率为7%。
据悉,今年玉米出口配额已经发放,首批配额总量为300万t,其中吉林150万t.黑龙江35万t,内蒙古26万t,辽宁18万t,河北5万t,山西6万t,中粮和吉粮各获得自营出口配额30万t。今后,配额的发放将
针对12E3加弹机EB系统设计缺陷及故障偏高的问题,从EB结构特点、工作原理、电器控制方面进行分析和探讨,提出了EB系统典型故障的解决办法和系统部件优化改进措施,以达到EB系统稳
仔猪早期断奶已成为集约化、规模化养殖生产中所采取的一项重要手段,虽然早期断奶技术可以提高母猪生产性能,也有利于提高仔猪的成活率,但是伴之而来的腹泻、生长迟缓、消化不良
动物免疫、消化道健康和饲料原料的相互作用是非常复杂的。功能性饲料成分如甘露寡糖作为天然生长促进剂对动物的促生长作用以及与肠道微生物菌群、免疫系统功能的相互作用的
2006年6月3日,南京国际展览中心人声鼎沸,群英荟萃。由中国饮料工业协会主办的2006中国饮料工业展示交易会在这里隆重举行。这是“十一五”开局之年,为全面宣传和展示我国饮料工