×

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

联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) Zbl 1344.68198号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。
MSC公司:68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段

全部的 前3名

软件