×

找到17个文档（结果1-17）

最新 引文 关联
佩德罗·夸雷斯马

AI几何书中的自动演绎。 （英语） Zbl 1515.68346号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 221-226 (2018).
MSC公司：68伏15 51-04 68伏30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}，莱克特。注释计算。科学。11110、221--226（2018；Zbl 1515.68346）
全文： 内政部
佩德罗·夸雷斯马

几何定理证明器（TGTP）的数千个几何问题。 （英语） Zbl 1350.68243号

Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，169-181（2011）。
MSC公司：68吨15 51-04
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}，莱克特。注释计算。科学。6877，169--181（2011；Zbl 1350.68243）
全文： 内政部
佩德罗·夸雷斯马;贾尼契奇，普雷德拉格

GeoThms——欧几里得构造几何的网络系统。 （英语） Zbl 1278.68279号

Autexier，Serge（编辑）等人，第七届定理证明器用户界面研讨会论文集（UITP 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第2期，35-48（2007）。
MSC公司：68吨15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}和\textit{P.Janić}，电子。注释Theor。计算。科学。174，编号2，35-48（2007；Zbl 1278.68279）
全文： 内政部
彼得·勒布梅尔;里希特·盖伯特（Jürgen Richter-Gebert）

识别计算构建的位点。 （英语） Zbl 1195.68105号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，52-67（2007）。
MSC公司：68单位05 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{P.Lebmeir}和\textit{J.Richter-Gebert}，莱克特。注释计算。科学。4869、52-67（2007年；Zbl 1195.68105）
全文： 内政部
贾尼契奇，普雷德拉格;佩德罗·夸雷斯马

动态几何系统中规则构造的自动验证。 （英语） 兹比尔1195.68092

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，39-51（2007）。
MSC公司：68吨15 51-04 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{P.Janić}和\textit{P.Quaresma}，莱克托。注释计算。科学。4869，39-51（2007；Zbl 1195.68092）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件