×

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

符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。 (英语) Zbl 0757.68013号

计算机科学课堂讲稿. 429. 柏林等:Springer-Verlag。十二、 第284页(1990年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份