×

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

一种新的黑盒分解算法——非monic情况。 (英语) Zbl 07760760号

Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。173-181 (2023).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑和表征理论。 (英语) Zbl 07740541号

Béziau,Jean-Yves(编辑)等人,《有问题的逻辑》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,737-750 (2022).
PDF格式BibTeX公司 XML格式引用

dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300871号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300858号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020年)。
PDF格式BibTeX公司 XML格式引用

非负电路和的二阶锥特征。 (英语) Zbl 07300104号

Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。450-457(2020年)。
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用

理想插值、H基和对称性。 (英语) Zbl 07300098号

Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。402-409 (2020).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

结合抽象论证语义的动态方法。 (英语) Zbl 07229664号

廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,21-43 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份