搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1996 莫辛·艾哈迈德 , G.文卡特斯 :
密集时间逻辑编程。 J.塞姆。 计算。 22 ( 5/6 ) : 585-613 ( 1996 ) 迪特尔·阿申瓦尔德 , 托马斯·西格尔 , 罗伯特·F·蒂希 :
MAPinsure-人寿保险的MAPLE套餐。 J.塞姆。 计算。 22 ( 2 ) : 227-234 ( 1996 ) 弗朗西斯·布肯霍特 , 迪米特里·利曼斯 :
关于度<=50的有限本原置换群的列表。 J.塞姆。 计算。 22 ( 2 ) : 215-225 ( 1996 ) 卡洛斯·卡莱罗 , 冈特·萨克 , Amílcar Sernadas公司 :
从时序逻辑规范中推导生命目标。 J.塞姆。 计算。 22 ( 5/6 ) : 521-553 ( 1996 ) 亚历山大·奇斯托夫 :
零特征代数簇维数的多项式时间计算。 J.塞姆。 计算。 22 ( 1 ) : 1-25 ( 1996 ) 罗伯特·克雷曼斯 , 弗里德里希·奥托 :
对于群,具有有限导数类型的性质等价于同调有限性条件FP_3。 J.塞姆。 计算。 22 ( 2 ) : 155-177 ( 1996 ) R.T.柯蒂斯 , Z.哈桑 :
Janko群J_1元素的对称表示。 J.塞姆。 计算。 22 ( 2 ) : 201-214 ( 1996 ) 乌韦·埃格利 :
从不同的保留结构翻译到正常形式。 J.塞姆。 计算。 22 ( 2 ) : 121-142 ( 1996 ) 乔里·恩格弗里特 , Jan Treur公司 :
非单调推理的可执行时序逻辑。 J.塞姆。 计算。 22 ( 5/6 ) : 615-625 ( 1996 ) 玛丽贝尔·费尔南德斯 :
AC补码问题:可满足性和否定消除。 J.塞姆。 计算。 22 ( 1 ) : 49-82 ( 1996 ) 迈克尔·菲希尔 :
并发元的时间语义。 J.塞姆。 计算。 22 ( 5/6 ) : 627-648 ( 1996 ) 托姆·W·福吕维思 :
时间注释约束逻辑编程。 J.塞姆。 计算。 22 ( 5/6 ) : 555-583 ( 1996 ) 伊斯特万·加尔 , 迈克尔·波赫斯特 :
关于具有虚二次子域的六边形域中指数形式方程的解。 J.塞姆。 计算。 22 ( 4 ) : 425-434 ( 1996 ) Jean-Raymond Gagné , 约翰·普莱斯 :
非标准时态演绎数据库系统。 J.塞姆。 计算。 22 ( 5/6 ) : 649-664 ( 1996 ) 劳雷亚诺·冈萨雷斯-维加 :
量词消去法在Birkhoff插值问题中的应用。 J.塞姆。 计算。 22 ( 1 ) : 83-103 ( 1996 ) 布拉姆·德贾格尔 , Bram van Asch公司 :
一类偏微分方程的符号解。 J.塞姆。 计算。 22 ( 4 ) : 459-468 ( 1996 ) 德克斯特·科赞 , 苏珊·兰多 , 理查德·齐佩尔 :
代数函数的分解。 J.塞姆。 计算。 22 ( 三 ) : 235-246 ( 1996 ) 乔迪·利维 , 杰姆·阿古斯蒂-卡莱尔 :
Bi-Rewrite系统。 J.塞姆。 计算。 22 ( 三 ) : 279-314 ( 1996 ) 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
时序逻辑编程中时间的多重粒度处理。 J.塞姆。 计算。 22 ( 5/6 ) : 699-720 ( 1996 ) 马西莫·马尔乔里 :
重写中规范形式的模块性。 J.塞姆。 计算。 22 ( 2 ) : 143-154 ( 1996 ) 埃德贾德·莫塔 , 大卫·斯图亚特·罗伯逊 , 阿兰·斯梅尔 :
自然时间:生态系统模拟中的时间粒度。 J.塞姆。 计算。 22 ( 5/6 ) : 665-698 ( 1996 ) 玛丽安·姆罗泽克 :
通过符号计算对数值算法进行严格的误差分析。 J.塞姆。 计算。 22 ( 4 ) : 435-458 ( 1996 ) 梅赫迈特·奥尔根(Mehmet A.Orgun) , 安东尼·福斯蒂尼 :
可执行时序逻辑系统。 J.塞姆。 计算。 22 ( 5/6 ) : 721-735 ( 1996 ) 维克多·Y·潘 :
计算xm-mod p(x)以及在固定圆盘上将多项式分解为因子的应用。 J.塞姆。 计算。 22 ( 4 ) : 377-380 ( 1996 ) F.利昂·普里查德 :
非交换多项式环中的理想隶属度问题。 J.塞姆。 计算。 22 ( 1 ) : 27-48 ( 1996 ) 钱振宇 , 王康(音译) :
模高阶方程预统一。 J.塞姆。 计算。 22 ( 4 ) : 401-424 ( 1996 ) 布鲁诺·萨利尼尔 , 罗伯特·斯特兰德 :
带构造函数系统的前向分支系统的高效仿真。 J.塞姆。 计算。 22 ( 4 ) : 381-399 ( 1996 ) 维杰·萨拉斯瓦特 , 拉德哈·贾加迪桑 , 维尼特·古普塔 :
定时默认并发约束编程。 J.塞姆。 计算。 22 ( 5/6 ) : 475-520 ( 1996 ) 曼弗雷德·施密特·沙乌 :
单面分布和乘法单位理论中统一性的判定。 J.塞姆。 计算。 22 ( 三 ) : 315-344 ( 1996 ) 下山武 , 横山和弘 :
多项式理想的局部化和初等分解。 J.塞姆。 计算。 22 ( 三 ) : 247-277 ( 1996 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)