×

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

对符号数学计算和人工智能的重新审视。 (英文) Zbl 1286.68514号

Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能课堂讲稿,14-18(2010)。
MSC公司:68瓦30 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机代数的人工智能环境。 (英文) Zbl 0808.68067号

杰弗里·约翰逊(编辑)等人,《数学中的人工智能》。基于1991年4月由英国格拉斯哥斯特拉斯克莱德大学数学及其应用研究所和图灵研究所主办的会议记录。牛津:克拉伦登出版社。Inst.数学。申请。Conf.序列号。,新序列号。第5173-182页(1994年)。
MSC公司:68瓦30 68立方英尺
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段