摘要：关于多维平滑实值函数及其导数的决策程序的可证明的肯定结果
作者：Stefan Ratschan
论文ID：2306.16505
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-11
PDF 下载： 英文版 中文版pdf翻译中