默认搜索操作

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

问别人

第六届AISC 2002：法国马赛

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/2002
雅克·卡尔梅特,贝莱德·本哈莫,奥尔加·卡普洛蒂,劳伦特·海诺克,沃尔克·索尔格:
人工智能、自动推理和符号计算，联合国际会议，AISC 2002和Calculemus 2002，法国马赛，2002年7月1日至5日，会议记录。计算机科学课堂讲稿2385,施普林格 2002，国际标准图书编号3-540-43865-3

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/弗洛伊德02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/弗洛伊德02
尤金·弗洛伊德:
约束获取。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Colmerauer02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Colmerauer02
阿兰·科尔梅劳尔:
树代数中完全一阶约束的表示性和复杂性。 2-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/DeplagneK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/DeplagneK02
埃里克·德普拉恩,克洛德·基什内尔:
演绎与计算：归纳案例。 4-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Sturm02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Sturm02网站
托马斯·斯特姆:
量词消除与约束逻辑编程的集成。 7-11

AISC定期会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/支票02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Chetty02网站
马杜·切蒂:
控制器设计中的混合符号/数字计算方法。 12-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/KitzelmannSMW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/KitzelmannSMW02
伊曼纽尔·基泽尔曼,尤特·施密德,马丁·穆尔普福德,弗里茨·维索茨基:
功能程序的归纳合成。 26-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/HerreroLRMLCL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/HerreroLRMLCL02
贝戈尼亚·埃雷罗,路易斯·莱塔,尤金尼奥·罗内斯·洛萨诺,维克托·毛霍,路易斯·德莱德斯马,何塞·克雷斯波,劳拉·莱塔:
基于符号计算的阿尔茨海默病诊断专家系统。 38-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/AiguierBD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/AiguierBD02
马克·艾基尔,黛安·巴赫拉米,凯瑟琳·杜布瓦:
关于一个推广的逻辑性定理。 51-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Smirnova02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Smirnova02网站
埃琳娜·斯米尔诺娃:
在多值逻辑自动序列推导系统中使用符号计算。 64-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/CorlessJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/CorlessJ02
罗伯特·M·科尔利斯,大卫·J·杰弗里:
Wright omega函数。 76-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/NossumS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/NossumS02
罗尔夫·诺瑟姆,卢西亚诺·塞拉菲尼:
上下文半群的多上下文逻辑。 90-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Campbell02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Campbell02
约翰·坎贝尔:
不确定集成作为多代理系统开发的测试平台。 102-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Hunter02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Hunter02
安德鲁·亨特:
表达式推断-遗传符号分类与非线性系数优化相结合。 117-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/BaiL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/BaiL02
李白,刘一辉:
一种新的人脸识别方法。 128-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/铸造02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Castaing02
杰奎琳·卡斯廷:
手写字符建模的非交换逻辑。 136-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Loriette-Rougegrez02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Loriette-Rougegrez02
苏菲·洛丽特·鲁格格利兹（Sophie Loriette-Rougegrez）:
在Scenarii的识别过程中从数字数据到符号数据。 154-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/BernhauptP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/BernhauptP02
里贾纳·伯恩浩普,Jochen Pfalzgraf公司:
关于网络的数学建模和实现方面。 168-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Ratschan02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Ratschan02
斯特凡·拉思坎（Stefan Ratschan）:
连续一阶约束满足。 181-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/GolumbicS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/GolumbicS02
马丁·查尔斯·格伦比奇,阿萨夫·西亚尼:
公差图的着色算法：带区间约束的推理和调度。 196-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Tounsi02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Tounsi02网站
穆罕默德·通西:
可满足性问题的一种基于遗传的方法。 208-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Subramani02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Subramani02网站
K.Subramani公司:
2SAT多面体中简单格点和量化格点的识别。 217-230

结石常规谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/AudemardBCKS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/AudemardBCKS02
吉尔斯·奥德马尔,皮埃尔吉奥·贝尔托利,亚历山德罗·西马蒂,阿图尔·科尼洛维奇,罗伯托·塞巴斯蒂亚尼:
布尔运算和数学求解的集成：基础、基本算法和要求。 231-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/BeesonW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/BeesonW02
迈克尔·比森,弗里克·维迪克:
微积分和计算机代数系统中无限的意义。 246-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Colton02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Colton02
西蒙·科尔顿:
关于Maple函数的猜想。 259-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/MeierSC02会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/MeierSC02
安德烈亚斯·梅耶,沃尔克·索尔格,西蒙·科尔顿:
运用理论形成指导校样规划。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Kutsia02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Kutsia02网站
Temur Kutsia公司:
序列变量与灵活Arity符号的统一及其与模式项的扩展。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Ranise02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Ranise02
西尔维奥·兰伊斯:
通过使用上下文结合通用推理和领域特定推理。 305-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/ZimmerD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/ZimmerD02
尤根·齐默（Jürgen Zimmer）,路易丝·丹尼斯:
MathWeb软件总线中的归纳定理证明和计算机代数。 319-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/PinkusW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/PinkusW02
阿亚尔·平库斯,谢尔盖·维尼茨基:
YACAS：一个自我实现的符号代数环境。 332-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/PiroiB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/PiroiB02
弗洛里娜·皮罗伊,布鲁诺·巴赫伯格:
聚焦窗口：一种新的演示技术。 337-342

管理网站设置

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