停止战争！

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

对于科学家：

默认搜索操作

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

问别人

DISCO 1990：意大利卡普里

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/1990
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/1990
阿方索·米奥拉:
符号计算系统的设计与实现，国际研讨会，DISCO’90，意大利卡普里，1990年4月10日至12日，会议记录。计算机科学课堂讲稿429,施普林格 1990，国际标准图书编号3-540-52531-9

符号和代数计算-系统设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/达文波特90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Davenport90
詹姆斯·达文波特:
计算机代数系统设计中的当前问题。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/ButlerC90餐厅
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/ButlerC90
格雷戈里·巴特勒,约翰·坎农:
现代代数语言Cayley的设计。 10-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/GioviniN90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/GioviniN90
亚历山德罗·吉奥维尼,吉安弗兰科·尼西:
CoCoA：一个面向用户的交换代数系统。 20-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/GalligoGP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/GalligoGP90
安德烈·加里戈,J.格林,洛伊克·波蒂尔:
SISYPHE的设计：进行符号和代数计算的系统。 30-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/达文波特T90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/DavenportT90
詹姆斯·H·达文波特,巴里·M·特拉格:
Scratchpad的代数观I：基本交换代数。 40-54

符号和代数计算-实现方法和技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Huet90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Huet90
杰拉德·P·休特:
建构数学计算机辅助环境的设计问题（摘要）。 55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Fortenbacher90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Fortenbacher90网址
阿尔布雷希特·福滕巴赫:
计算机代数中的有效类型推理和强制。 56-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/LimongelliMRT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/LimongelliMRT90
卡拉·利蒙盖利,比阿特丽斯·梅勒（M.Beatrice Mele）,毛罗·雷吉奥,马可·坦佩里尼:
数学结构和方法的抽象规范。 61-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/彼得曼90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Petermann90
乌韦·彼得曼:
符号计算系统的编程范例-示例分析。 71-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Vidal90频道
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Vidal90
Jean-Philippe维达尔:
Gröbner的计算基于共享内存多处理机。 81-90

理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/塔尔科特90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Talcott90
卡罗琳·塔尔科特:
程序和数据类型规范的理论。 91-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/亨尼克90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Hennicker90
罗尔夫·亨尼克:
语境归纳：行为抽象的证明原则。 101-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/JouannaudM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/JouannaudM90
Jean-Pierre Jouannaud女士,克劳德·马奇:
完成模关联性、交换性和同一性（AC1）。 111-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Fruhworth90餐厅
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Fruhwirth90
托姆·W·福吕维思:
Prolog中带子类型的多态类型检查。 121-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/BolAK90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/BolAK90
罗兰·波尔,Krzysztof R.Apt公司,简·威廉·克洛普:
关于替代和上下文检查的力量。 131-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Reynaud90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Reynaud90
Jean-Claude雷诺:
将代数组件放在一起：依赖类型方法。 141-150

自动推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/邦迪90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Bundy90
阿兰·邦迪:
形式方法中证明计划的使用。 151-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Stickel90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Stickel90
Mark E.Stickel公司:
Prolog技术定理证明器：Prolog中的一个新的解释和实现。 154-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Lassez90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Lassez90
Jean-Louis Lassez女士:
参数化查询、线性约束和变量消除。 164-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/AdiK90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/AdiK90
穆罕默德·阿迪,克洛德·基什内尔:
美国统一竞赛：系统解决方法及其实施。 174-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/AnantharamanA90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/AnantharamanA90
湿婆阿南塔拉曼,尼里娜·安德里亚纳里韦洛:
反驳定理证明中的启发式准则。 184-193

软件环境和语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Attardi90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Attardi90网址
朱塞佩·阿塔迪:
知识库系统中的标准要求（摘要）。 194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/DewarR90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/DewarR90
迈克尔·C·杜瓦,M.G.理查森:
在实际环境中协调符号和数字计算。 195-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/BidoitCC90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/BidoitCC90
米歇尔·比多特,弗朗西斯·卡比,克莉丝汀·乔比:
ASSPEGIQUE数据库的设计和规范。 205-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Hanus公司90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Hanus90网址
迈克尔·哈纳斯:
具有多态类型的函数和逻辑语言（扩展抽象）。 215-224

软件环境和用户界面

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/迪斯科/俄罗斯Z90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/RussiZ90
文森佐·鲁西,罗伯托·佐皮:
面向自动化软件开发范式的图形化面向对象可执行规范。 225-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Kajler90餐厅
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Kajler90
诺伯特·卡伊勒:
为计算机代数系统构建图形用户界面。 235-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Wang90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Wang90
保罗·S·王:
数学函数的独立于系统的图形包。 245-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/FfacontiBP90会议/迪斯科/会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/FacontiBP90
乔治·法孔蒂,R.D.贝塔里尼,法比奥·帕特恩:
图形系统的交互模型。 255-263

短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/克拉克森90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Clarkson90
迈克·克拉克森:
实践：MACSYMA基于规则的专家系统。 264-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Bocarov90会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Bocharov90
A.V.博查洛夫:
DELia会成长为专家系统吗？ 266-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/BajajR90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/BajajR90
Chandrajit L.Bajaj公司,安德鲁·罗亚帕帕:
GANITH代数几何工具包。 268-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Kredel90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Kredel90
海因茨·克雷德尔:
Mas Modula-2代数系统。 270-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Castales90餐厅
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Castales90
丹尼斯·康塔莱斯:
计算机代数语言自动翻译原型。 272-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/LeeLC90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/LeeLC90
李建宏（Kin-Hong Lee）,广沙梁,Sin Man Cheang先生:
基于PC的符号计算列表处理器的实现。 274-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/ChmutovGIKNP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/ChmutovGIKNP90
S.V.Chmutov公司,E.A.盖达尔,I.M.伊格纳托维奇,V.F.科扎多伊,安德烈·内梅蒂克,维多利亚·A·品丘克:
符号分析转换语言FLAC的实现。 276-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/BajBZ90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/BajBZ90
法比奥·巴吉,马西莫·布鲁西,安东尼拉·桑齐:
基于EN-策略的自动定理证明系统ENprovider的设计与开发。 278-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/ForcelleseT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/ForcelleseT90
乔治·福塞莱斯,马尔科·坦佩雷尼:
面向逻辑语言：连接方法的面向对象实现。 280-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disco/Avitzur90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/disco/Avitzur90
罗恩·阿维策:
关于更友好用户界面的建议。 282-283

服务

管理网站设置

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