位置：成果数据库 > 期刊 > 期刊详情页
Computer-aided proofs of Arrow's and other impossibility theorems
  • ISSN号：0004-3702
  • 期刊名称：Artificial Intelligence
  • 时间：0
  • 页码：1041-1053
  • 语言：英文
  • 相关项目：可信约束下软件错误诊断与修正框架
作者： Tang, Pingzhong|Lin, Fangzhen|
同期刊论文项目
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9
同项目期刊论文
抽象解释理论框架及其应用
Algorithms and application in decision-making for the finest splitting of a set of formulae
An Approach to Generation of Decision Rules Based on a Fuzzy Semi-equivalence Relation
A Logic-Program-Based Negotiation Mechanism
Makinson一个公开问题的注记
Logic programs, compatibility and forward chaining construction
基于程序正确性的演算方法
An Approach for Handling Conflicts in Authorization
分层模型在中国信息安全等级保护体系中的借鉴应用
无线网络协议的安全分析与测试
钢坯入库路径优化模型与算法