位置：成果数据库 > 期刊 > 期刊详情页
基于Tableau的定理机器证明系统T
  • 期刊名称：计算机工程，2006，32(7)：38-39
  • 时间：0
  • 相关项目：约束推理与约束程序
作者： 刘全，孙吉贵
同期刊论文项目
约束推理与约束程序
期刊论文 60 会议论文 19
同项目期刊论文
Model net: a representation of
Particle Swarm in Binary CSPs
一种自适应离散粒子群算法及其应用研究
Analog-Cell：一种新的电子细胞图形模型
层次化模糊Petri网：形式化定义
基于约束人力资源配置系统的设计
基于核的有向强连通图计算机随机
面向对象代数Petri网
面向网络的实时飞行模拟系统模型
参数化弧相容约束传播
汉语语音合成的研究进展
基于值序的二元约束满足问题粒子
一种求解粮食调运优化问题的两阶
描述逻辑综述
基于抽象－验证－细化范例的软件
一种基于最小冲突修补的动态约束
最大度二元约束满足问题粒子群算
多元约束混合搜索算法研究
半在线调度中约束求解算法研究
A logic-based Branch and Bound
Analog-Cell：一种新的电子细胞
一种基于集合符号的自动推理扩展
一个基于本体主题的中文知识获取
一种求解tableau等式合一问题的
基于决策树分类方法的粮食轮换决
大规模三维地形可视化算法研究进
用周期模型和近邻算法预测话务量
弧相容算法性能比较
Particle Swarm Algorithm with
基于GIS的粮食管理预警决策支持
基于模糊对象的不精确需求建模
A multistage rule induction al
一种新的汽车乘员分类视觉检测算法
一致性规划研究
最先失败原则的约束传播算法
基于加权向量空间模型的网络搜索
数据挖掘中聚类算法的新发展
工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型
一个基于最小冲突修补的动态约束满足求解算法
一种基于集合符号的自动推理扩展方法
一种用描述逻辑刻画多代理系统规约的方法
聚类算法研究
基于云计算的Apriori挖掘算法
初教六型飞机仿真系统的数据采集与处理
基于GIS的物业管理信息系统的设计与实现
基于广义产品结构的配置和集成研究
联机分析处理中的非规则维建模
一种基于PSO的动态聚类算法
最大度二元约束满足问题粒子群算法
基于语义tableau的一阶逻辑自动定理证明
求极小碰集的遗传算法