×

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

非标准分析与确定性公理。 (英语。俄文原件) Zbl 0819.03051号

代数逻辑 32,第6号,328-333(1993); 翻译自《代数逻辑》32,第6期,607-617(1993)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种对经典的第二阶段算法进行建模的方法。 (英语。俄文原件) Zbl 0538.03040号

代数逻辑 22, 1-18 (1983); 翻译自《代数逻辑学》22,第1期,3-25(1983)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

筛选结果依据…

全部的 前5名

出版年份

主字段