×

兹马思-数学第一资源

找到58份文件(结果1-58)

100
马查克斯
自动分析和分析方法。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX,会议记录。查姆:斯普林格。选择。笔记计算。科学。11714年3月20日(2019年)。
审核人: 评审员(柏林)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Galmiche,Didier(ed.)等人,《自动推理与分析表及相关方法》。2013年第22届国际会议,TABLEAUX,法国南希,2013年9月16-19日。会议记录。柏林:斯普林格(ISBN 978-3-642-40536-5/pbk)。计算机科学课堂讲稿8123。人工智能课堂讲稿,203-218(2013)。
审核人: 评审员(柏林)
理学硕士: 03F45 03B35型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
van Ditmarsch,Hans(ed.)等人,《第七届模态方法研讨会论文集》(M4M'2011)和第四届多智能体系统逻辑方面研讨会论文集(LAMAS'2011),西班牙奥斯纳,2011年11月10日至12日。阿姆斯特丹:Elsevier。理论计算机科学电子笔记278187-199(2011)。
审核人: 评审员(柏林)
理学硕士: 68T15型 03B45型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2007年11月29日,Carlos M4,法国方法研讨会(Amsterdam,2007年11月29日),Carlos M4等人,2007年11月29日。理论计算机科学电子笔记23155-67(2009)。
审核人: 评审员(柏林)
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
审核人: 评审员(柏林)
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Piperevski,Boro(编辑)等人,马其顿数学家和计算机科学家第二届大会。《马其顿会议记录》,2000年9月28日。137-144(2003年)。
理学硕士: 68T15型 03F99型
PDF格式 BibTeX公司 XML 引用
Jaakkola,Hannu(编辑)等人,《信息建模和知识库》。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。67363-374(2001年)。
审核人: 评审员(柏林)
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
审核人: 评审员(柏林)
理学硕士: 03B44号 03B70型
PDF格式 BibTeX公司 XML 引用
Basin,David(ed.)等人,标签扣减。根据第一届国际研讨会,1998年9月,德国弗莱堡,LD'98。多德雷赫特:Kluwer学术出版社。申请。日志。爵士。17135-159(2000年)。
审核人: 评审员(柏林)
理学硕士: 03B44号 03B35型
PDF格式 BibTeX公司 XML 引用
Lamma,Evelina(编辑)等,AI*IA99:人工智能的进展。意大利人工智能协会第六届大会。意大利博洛尼亚,1999年9月14日至17日。论文选集。柏林:斯普林格。选择。笔记计算。科学。179219-130(2000年)。
审核人: 评审员(柏林)
理学硕士: 03B35型 03B45型
PDF格式 BibTeX公司 XML 引用
Bouquet,Paolo(ed.)等人,建模和使用上下文。第二届国际和跨学科会议,1999年9月9日至11日,意大利特伦托。柏林:斯普林格。选择。笔记计算。科学。1688145-158(1999年)。
审核人: 评审员(柏林)
理学硕士: 03B42号 68T27型 68T30型
PDF格式 BibTeX公司 XML 引用
麦克纳马拉,P(等,规范,逻辑和信息系统。道义逻辑和计算机科学的新研究。1998年1月8日至10日,意大利博洛尼亚,第四届(Delta)EON研讨会论文选。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。49311-330(1999年)。
审核人: 评审员(柏林)
理学硕士: 03B45型 03A05型
PDF格式 BibTeX公司 XML 引用
莫里,尼尔V(自动推理与分析表格及相关方法。1999年6月7日至11日,美国纽约萨拉托加温泉国际会议,1999年6月7日至11日。柏林:斯普林格。选择。笔记计算。科学。1617年,第82-96页(1999年)。
审核人: 评审员(柏林)
理学硕士: 03B35型 68T15型 03B20型 03B25型
PDF格式 BibTeX公司 XML 引用
雷丁,MA:Addison Wesley。十四,717页(1993年)。
理学硕士: 68N01号 68-01年 68T15型
PDF格式 BibTeX公司 XML 引用
加利福尼亚州阿塔斯卡德罗:里奇维尤出版公司。。x、 203页(1991年)。
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
出版年份
全部的 前3名
分类
全部的 前3名
软件