×

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

关于在程序中完成不变等式搜索的可能性。 (英语。俄文原件) Zbl 0691.68056号

苏联。数学。,多克。 37,第2号,559-561(1988); Dokl翻译。阿卡德。Nauk SSSR 299,第6期,1307-1309(1988年)。
PDF格式BibTeX公司 XML格式引用

高效的逻辑算法分析和综合依赖关系。 (英语。俄文原件) Zbl 0606.68040号

苏联。数学。,多克。 32, 867-871 (1985); Dokl翻译。阿卡德。Nauk SSSR 285,1301-1305(1985)。
审核人:E.克努特
PDF格式BibTeX公司 XML格式引用

论程序逻辑中不确定性的表达能力。 (英语。俄文原件) Zbl 0595.03018号

苏联。数学。,多克。 第30页,第47-49页(1984年); Dokl翻译。阿卡德。Nauk SSSR 277,51-53(1984)。
PDF格式BibTeX公司 XML格式引用

可容许集上的动态逻辑。 (英语。俄文原件) Zbl 0576.68009号

苏联。数学。,多克。 28, 739-742 (1983); Dokl翻译。阿卡德。Nauk SSSR 273,1045-1048(1983)。
审核人:李翔
PDF格式BibTeX公司 XML格式引用

算法代数系统的一些算法问题。 (英语。俄文原件) Zbl 0402.68036号

苏联。数学。,多克。 19, 490-493 (1978); Dokl翻译。阿卡德。诺克SSSR 2391063-1066(1978)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

全部的 前5名

出版年份

主字段

软件