未找到相关数据
Workshop 19: Symbolic computation
被引：0
作者：
Hermenegildo, Manuel
机构：
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
1997年
/
1300 LNCS卷
关键词：
D O I：
10.1007/bfb0002868
中图分类号：
学科分类号：
摘要：
4
引用
收藏
页码：1165 / 1168
相关论文