×

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

最新的 引文 关联
弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥

走向自动化几何师。 （英语） Zbl 1515.68340号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 215-220 (2018).
MSC公司：68伏15 51-04 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}等人，Lect。注释计算。科学。11110215--220（2018；Zbl 1515.68340）
全文： 内政部
Abánades，米格尔;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞

朝向GeoGebra中定理的自动发现。 （英语） Zbl 1434.68636号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 37-42 (2016).
MSC公司：68伏15 2004年5月5日 68瓦30 97Gxx型 97U70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abánades}等人，Lect。注释计算。科学。9725，37-42（2016；Zbl 1434.68636）
全文： 内政部
弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇，普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗

GeoGebra中的自动定理证明：当前成就。 （英语） Zbl 1356.68181号

J.汽车。推理 55，第1号，39-59（2015）.
MSC公司：第68页第15页 97Gxx型 97U70型
PDF格式BibTeX公司 XML格式引用
\textit｛F.Botana｝等人，J.Autom。推理55，No.1，39-59（2015；Zbl 1356.68181）
全文： 内政部 链接
弗朗西斯科·博塔纳

交互式几何系统的符号伴侣。 （英语） Zbl 1335.68225号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，285-286（2011）。
MSC公司：第68页第15页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}，莱克特。注释计算。科学。6824285--286（2011年；Zbl 1335.68225）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件