停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2014年第12届AISC：西班牙塞维利亚

>主页 >会议和研讨会 >AISC公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/2014年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/2014
Gonzalo A.Aranda-Corral公司,雅克·卡尔梅特,弗朗西斯科·马丁·马泰奥斯:
2014年12月11日至13日在西班牙塞维利亚举行的2014年AISC第十二届国际会议——人工智能和符号计算。诉讼程序。计算机科学课堂讲稿8884,施普林格 2014，国际标准图书编号978-3-319-13769-8

邀请报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Ruiz-Reina14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Ruiz-Reina14
何塞-路易斯·鲁伊斯·雷纳:
证明和计算：将自动推理应用于符号计算系统的验证（受邀演讲）。 1-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Sorge14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Sorge14
沃尔克·索尔格:
数学创新组合系统（邀请演讲）。 7-8

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/LucasM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/LucasM14网站
萨尔瓦多·卢卡斯,何塞·梅塞盖尔:
自动终止证明中的逻辑和条件约束模型。 9-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Lucas14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Lucas14
萨尔瓦多·卢卡斯:
用表示定理证明多项式的非负性。 21-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Gamallo-ChicanoRG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Gamallo-ChicanoRG14
卡洛斯·加马洛·奇卡诺,尤金尼奥·罗内斯·洛萨诺,卡洛斯·加马洛·阿马特:
基于规则的阴道细胞学诊断专家系统。 34-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Aransay-AzofraDHLPRR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Aransay-AzofraDHLPRR14
Jesús Aransay-Azofra公司,何塞·迪瓦森,乔纳森·赫拉斯,Laureano Lambán,玛丽亚·维科·帕斯夸尔,天使路易斯·鲁比奥,朱利奥·鲁比奥:
从Isabelle/HOL理论获得ACL2规范。 49-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/BoussarsarBE14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/BoussarsarBE14
乌迈马·布萨萨尔,伊曼·布赫里斯,齐德·埃卢埃迪:
单连通因果信念网络中所有原因的条件分布的直接传播方法。 64-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/LardeuxM14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/LardeuxM14网址
油炸大麦,埃里克·蒙弗罗伊:
从声明性集合约束模型到“好”SAT实例。 76-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/InoueS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/InoueS14
井上修太郎,佐藤义介:
数独谜题的数学层次及其布尔Gröbner基计算。 88-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Roanes-LozanoH14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Roanes-LozanoH14
尤金尼奥·罗内斯·洛萨诺,安东尼奥·埃尔南多:
用于开发使用数学软件系统的应用程序的简单GUI。 99-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/EglyKLP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/EglyKLP14
乌韦·埃格利,马丁·克罗内格,弗洛里安·朗辛,安德烈亚斯·普凡德勒:
一致性规划作为增量QBF求解的案例研究。 120-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Benhamou14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Benhamou14
贝拉伊德·本哈穆:
项集挖掘中的动态对称破坏。 132-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/EssaidMSY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/EssaidMSY14网站
阿米拉·埃萨德,阿尔诺德·马丁,格里戈里·斯密茨,博伊娜·本·雅格莱恩:
信用级别的基于距离的决策。 147-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Jeffrey14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Jeffrey14
大卫·J·杰弗里:
计算机代数系统中的多值初等函数。 157-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/SendraGM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/SendraGM14
胡安娜·森德拉,大卫·戈麦斯,瓦莱里奥·莫兰:
Rational Conchoid和Offset构造：算法和实现。 168-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/MartinezKSBASGPGP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/MartinezKSBASGGP14
马里卡门·马丁内斯,乌尔夫·克鲁姆纳克,阿兰·斯梅尔,塔里克·理查德·贝索尔德,艾哈迈德·穆罕默德·阿卜杜勒·法塔赫,马丁·施密特,头盔阵风,凯乌·库恩伯格,马库斯·古赫,埃莉森·皮斯:
理论融合的算法方面。 180-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/BeshajS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/BeshajS14
卢比亚娜·贝沙吉,托尼·沙斯卡:
一些3维Jacobian簇的分解。 193-204

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。