×

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

统一的代数和逻辑方面。 (英语) Zbl 1518.68153号

Schulz,K.U.(编辑),单词方程和相关主题。1990年10月1日至3日,德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。572, 171-180 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一理论。 (英语) Zbl 1518.68151号

Schulz,K.U.(编辑),单词方程和相关主题。1990年10月1日至3日,德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。572, 151-170 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单体理论中的统一。 (英语) Zbl 1509.03045号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 618-632 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于方程统一的一些结果。 (英语) Zbl 1509.68122号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 276-291 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份