×

找到12个文档(结果1-12)

正则自动机循环词长度的几乎最优界。 (英语。俄文原件) Zbl 0856.68104号

赛博。系统。分析。 31,第5期,669-674(1995); 翻译自Kibern。修女。分析。1995年,第5期,40-48(1995)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非线性弹性膜壳的渐近分析。 (英语) Zbl 0827.73042号

Ciarlet,Philippe G.(编辑)等人,《弹性结构的渐近方法》。国际会议记录,葡萄牙里斯本,1993年10月4日至8日。柏林:Walter de Gruyter。151-159 (1995).
MSC公司:74K15型 74B20型
PDF格式BibTeX公司 XML格式引用

优化链式逻辑程序的下推方法。 (英语) Zbl 1412.68031号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。944, 523-534 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

软件