×

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

最新的 引文 关联
巴斯蒂安·海仁;约翰·杰林

交叉战略。 （英语） Zbl 1335.68290号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。《人工智能课堂讲稿》，196-211（2011）。
MSC公司：68单位35 97单位50
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，莱克特。注释计算。科学。6824、196--211（2011；Zbl 1335.68290）
全文： 内政部
巴斯蒂安·海仁;约翰·杰林

认识战略。 （英语） 兹比尔1294.68097

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，91-106（2009）。
MSC公司：2012年第68季度 65年第68季度 97单位50
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，电子。注释Theor。计算。科学。237、91——106（2009年；Zbl 1294.68097）
全文： 内政部
OA许可证
巴斯蒂安·海仁;约翰·杰林

交互式练习助手中的标准形式。 （英语） Zbl 1247.97039号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，325-340（2009）。
MSC公司：97单位50 68瓦30 97D60型
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，莱克特。注释计算。科学。5625325--340（2009年；Zbl 1247.97039）
全文： 内政部
纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥

内容：基于网络的Haskell自适应导师。 （英语） Zbl 1020.68777号

Scott，Donia（编辑），《人工智能：方法、系统和应用》。2002年9月4日至6日在保加利亚瓦尔纳举行的2002年AIMSA第十届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2443, 71-80 (2002).
MSC公司：68单位99 68T99型 第68页第18页 68甲15 97单位40
PDF格式BibTeX公司 XML格式引用
\文本{N.López}等人，Lect。注释计算。科学。2443，71--80（2002年；Zbl 1020.68777）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件