默认搜索操作

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

问别人

符号计算杂志，第21卷，1996年

>主页 >期刊销售 >符号计算杂志

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第21卷第1期，1996年1月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/HoY96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/HoY96
郑仁浩,芝麻坑:
习惯接近替补队员。 1-14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/KennawayKSV96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/KennawayKSV96
理查德·肯纳韦,简·威廉·克洛普,M.Ronan睡眠,弗·扬·德弗里斯:
比较Curried和Uncurried Rewriting。 15-39
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Padawitz96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Padawitz96
彼得·帕达维茨:
设计规范的归纳定理证明。 41-99
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Sofroniou96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Sofroniou96
马克·索夫罗尼欧:
有序星和线性稳定性理论。 101-131

第21卷第2期，1996年2月

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/jsc/CaspersonFM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/CaspersonFM96
大卫·卡斯珀森,大卫·福特,约翰·麦凯:
理想分解和子域。 J.塞姆。计算。 21(2):133-137(1996)
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Miller96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Miller96
林·米勒:
环上多项式环中Gröbner基的类比。 139-153
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/PauerZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/PauerZ96
弗兰兹·鲍尔,桑德罗·赞佩里:
广义项序的Gröbner基及其在建模问题中的应用。 155-168
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Helminck96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Helminck96
阿洛伊修斯·赫尔敏克:
计算G/H上的B轨道。 169-209
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BaaderS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BaaderS96
弗兰兹·巴德,克劳斯·舒尔茨:
不相交等式理论联合中的统一：联合决策程序。 211-243
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Sanchez96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Sanchez96
内斯托尔·桑切斯:
多尺度方法：非线性振动问题的渐近解和正规形式。 245-252

第21卷第3期，1996年3月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Marche96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Marche96
克劳德·马奇:
规范化重写：重写方程组模的替代方法。 253-288
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/IntrigilaZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/IntrigilaZ96
贝内代托·因特里吉拉,玛丽莎·文丘里尼·齐利:
关于无限匹配与无限统一的注记。 289-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/AttardiF96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/AttardiF96
朱塞佩·阿塔迪,蒂托·弗拉盖拉:
PoSSo解算器中的内存管理。 293-311
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/CollinsE96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/CollinsE96
乔治·E·柯林斯,马克·恩卡纳西翁:
改进的单变量多项式因子分解技术。 313-327
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/FixHL96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/FixHL96
乔治·J·菲克斯,徐志平（Chih-Ping Hsu）,铁罗:
有理参数曲面的隐式化。 329-336
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/GerdtK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/GerdtK96
弗拉基米尔·P·格特,弗拉基米尔·柯尼亚克:
有限表示李代数和超代数的构造。 337-349
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Kemper96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Kemper96
格雷戈·坎佩尔:
计算任意域上有限群的不变环。 351-366
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Smart96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Smart96
奈杰尔·斯马特:
通过单元方程求解判别式方程。 367-374

第21卷第4期，1996年4月/5月/6月

并行符号计算专题
并行计算机代数

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/MuraoF96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/MuraoF96
Hirokazu Murao先生,富士通（Tetsuro Fujise）:
稀疏多元多项式插值的模块化算法及其并行实现。 377-396
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Wang96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Wang96
保罗·S·王:
SMP上的并行多项式运算：概述。 397-410
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/AttardiT96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/AttardiT96
朱塞佩·阿塔迪,卡洛·特拉弗索:
Strategy-Accurate并行Buchberger算法。 411-425
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/DalmasGS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/DalmasGS96
Stéphane Dalmas酒店,马克·加塔诺,阿兰·索斯:
计算机代数的分布式协同环境。 427-439

并行计算机算法

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/jsc/KrandickJ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/KrandickJ96
沃纳·克兰迪克,都铎-杰别利安:
双向精确整数除法。 441-455
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Weber96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Weber96
肯尼思·韦伯:
加速整数GCD算法的并行实现。 457-466
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/CesariM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/CesariM96
乔瓦尼·塞萨里,罗曼·梅德:
分布式存储体系结构中并行Karatsuba乘法算法的性能分析。 467-473

并行自动扣除

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BundgenGK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BundgenGK96
莱因哈德·邦根,曼弗雷德·哥贝尔,沃尔夫冈·库奇林:
符合策略的多线程期限完成。 475-505
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Bonacina 96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Bonacina 96
玛丽亚·保拉·博纳西纳:
关于分布定理证明中证明的重构：一种改进的克劳斯扩散方法。 507-522
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/DenzingerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/DenzingerS96
约格·登津格,斯蒂芬·舒尔茨:
记录和分析基于知识的分布式演绎过程。 523-541
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/ZhangBH96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/ZhangBH96
张汉涛,玛丽亚·保拉·博纳西纳,Jieh Xiang先生:
PSATO：分布式命题证明器及其在拟群问题中的应用。 543-560

并行函数语言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/HillCB96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/HillCB96
乔纳森·M·D·希尔,基思·M·克拉克,理查德·博纳特:
并行化强制函数程序：矢量化单子函数。 561-576
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/GladitzK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/GladitzK96
卡蒂娅·格拉迪茨,赫伯特·库欣:
Gamma-Operation的共享内存实现。 577-591
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Schreiner96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Schreiner96
沃尔夫冈·施莱纳:
并行计算机代数软件包的一种准功能编程接口。 593-614
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Sodan96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Sodan96
安吉拉·苏丹:
映射树结构符号处理程序的半自动多策略方法。 615-634

并行约束/逻辑语言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/AndrelioBP96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/AndreoliBP96
Jean-Marc安德烈奥利,乌韦·M·博格霍夫,雷莫·帕雷斯基:
基于约束的知识代理模型：语义、实现和分析。 635-667
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BosschereJ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BosschereJ96
Koenraad De Bosschere公司,Jean-Marie Jacquet女士:
使用本地和条件黑板操作扩展µ日志框架。 669-697
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/LeungC96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/LeungC96
Ho-fung Leung先生,基思·克拉克:
分布式并发逻辑程序设计中的约束满足。 699-714
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/LopezHD96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/LopezHD96
佩德罗·洛佩斯·加西亚,曼纽尔·埃尔梅内吉尔多,索米亚·德布雷:
逻辑程序中基于粒度的并行控制方法。 715-734

管理网站设置

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