×

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

布尔可满足性的Zeon和幂等-Clifford公式。 (英语) Zbl 1456.68123号

PDF格式BibTeX公司 XML格式引用
全文: DOI程序

克利福德代数是离散世界和连续世界之间的桥梁。 (英语) Zbl 1401.15021号

MSC公司:15A66型 11E88型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

有限域上多线性形式可满足性问题的复杂性。 (英语。俄文原件) Zbl 1385.65037号

莫斯克。大学计算机。数学。赛博。 41,第2期,81-88(2017); 维斯特翻译。莫斯科。州立大学。XV 2017,第2期,30-37(2017)。
MSC公司:65楼30 15A69号 15B33型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

出版年份

全部的 前3名

主字段