收藏本站
问答
《计算机工程与应用》 2009年26期
作者本人免费下载 | 收藏 | 投稿 | 论文排版

解释模型类理论及其极小三I-算法

张兴芳   开通知网号
【摘要】： 首先在多类(many-sorted)一阶形式系统Luk ms、Gd ms,∏ ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨...

 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 https://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）


加载耗时:38ms