×

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

使用Prover9的几何程序。 (英语) Zbl 1383.68080号

Bonacina,Maria Paola(编辑)等人,《自动推理和数学》。纪念威廉·麦库恩的散文。柏林:施普林格出版社(ISBN 978-3-642-36674-1/pbk)。计算机科学课堂讲稿7788。《人工智能课堂讲稿》,139-150(2013)。
MSC公司:68吨15 14H52型 2005年第14季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号

计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;sFr公司。48.00 (1996).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

全部的 前5名

出版年份