×

兹马思-数学第一资源

找到3414份文件(结果1-100)

100
马查克斯
兄弟姐妹。数学。J。 62,3号,503-510(2021年); 从Sib翻译。垫子。中。62,第3号,623-632(2021年)。
理学硕士: 68吨 68 68牛顿 00亿 03B号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mojtahedi,Mojtaba(编辑)等,数学,逻辑和他们的哲学。为默罕默德阿德希尔写的文章。查姆:斯普林格(ISBN 978-3-030-53653-4/hbk;978-3-030-53654-1/电子书)。逻辑、认识论与科学的统一49,411-431(2021)。
理学硕士: 03A05型 03Bxx号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mojtahedi,Mojtaba(编辑)等,数学,逻辑和他们的哲学。为默罕默德阿德希尔写的文章。查姆:斯普林格(ISBN 978-3-030-53653-4/hbk;978-3-030-53654-1/电子书)。逻辑、认识论与科学的统一49,161-216(2021)。
理学硕士: 03A05型 03Bxx号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士: 68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。会议记录。查姆:斯普林格(ISBN 978-3-030-57627-1/pbk;978-3-030-57628-8/电子书)。计算机科学课堂讲稿12288196-214(2020)。
理学硕士: 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。会议记录。查姆:斯普林格(ISBN 978-3-030-57627-1/pbk;978-3-030-57628-8/电子书)。计算机科学课堂讲稿1228876-93(2020)。
理学硕士: 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12288年1月22日(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合系统国际会议记录:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7018-9)。第11条,第13页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合系统国际会议记录:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7018-9)。第9条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合系统国际会议记录:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7018-9)。第8条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合系统国际会议记录:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7018-9)。第7条,第12页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7104-9)。831-844(2020年)。
理学硕士: 68 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7104-9)。237-251(2020年)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
LIPIcs–莱布尼茨国际信息学论文集178.沃登:施洛斯·达格斯图尔-莱布尼兹·泽特鲁姆für信息(ISBN 978-3-95977-167-2)。xi,19篇文章,非连续页面,仅电子版,开放获取(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Ju,Shier(ed.)等人,非经典逻辑及其应用。第八届逻辑与认知国际研讨会会后论文集,2016年12月5日至9日,中国广州,新加坡:斯普林格(ISBN 978-981-15-1341-1/hbk;978-981-15-1342-8/电子书)。《亚洲逻辑:研究逻辑图书馆》,67-83(2020年)。
理学硕士: 03B号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
数学教科书. 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七,294 p(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alpcan,Tansu(ed.)等人,《安全决策与博弈论》。第十届国际会议,2019年10月30日至11月1日,瑞典斯德哥尔摩。会议记录。查姆:斯普林格。选择。笔记计算。科学。11836385-403(2019年)。
理学硕士: 68平方米25 68Q60型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11781423-441(2019年)。
理学硕士: 68Q60型 03B44号 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
《自动化分析》等。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11781404-422(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11781、151-170(2019年)。
理学硕士: 68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lutz,Carsten(ed.)等著,描述逻辑,理论组合,以及所有这些。在弗兰兹·巴德60岁生日之际献给他的文章。查姆:斯普林格。选择。笔记计算。科学。11560、174-186(2019年)。
理学硕士: 68T27型 03B44号 68N17 68T30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerrito,Serenella(ed.)等人,自动推理与分析表格和相关方法。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX,会议记录。查姆:斯普林格。选择。笔记计算。科学。11714185-202(2019年)。
理学硕士: 03F05号 03B45型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerrito,Serenella(ed.)等人,自动推理与分析表格和相关方法。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX,会议记录。查姆:斯普林格。选择。笔记计算。科学。11714166-184(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerrito,Serenella(ed.)等人,自动推理与分析表格和相关方法。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX,会议记录。查姆:斯普林格。选择。笔记计算。科学。11714年3月20日(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。会议记录。查姆:斯普林格。选择。笔记计算。科学。11750,59-75(2019年)。
理学硕士: 68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fontaine,Pascal(编辑),《自动扣减——CADE 27》,第27届自动扣减国际会议,巴西纳塔尔,2019年8月27-30日。会议记录。查姆:斯普林格(ISBN 978-3-030-29435-9/pbk;978-3-030-29436-6/电子书)。计算机科学课堂讲稿11716。人工智能课堂讲稿,216-232(2019年)。
理学硕士: 03B35型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
杜定柱(编),计算与组合数学。第25届国际会议,COCOON 2019,中国西安,2019年7月29-31日。会议记录。查姆:斯普林格(ISBN 978-3-030-26175-7/pbk;978-3-030-26176-4/电子书)。计算机科学课堂讲稿11653,663-676(2019年)。
理学硕士: 68卢比
PDF格式 BibTeX公司 XML 引用
全文: 内政部
杜定柱(编),计算与组合数学。第25届国际会议,COCOON 2019,中国西安,2019年7月29-31日。会议记录。查姆:斯普林格(ISBN 978-3-030-26175-7/pbk;978-3-030-26176-4/电子书)。计算机科学课堂讲稿11653,503-515(2019年)。
理学硕士: 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kern Isberner,Gabriele(ed.)等人,《不确定性推理的符号和定量方法》。第15届欧洲会议,2019年9月18日至20日,塞尔维亚贝尔格莱德,ECSQARU。会议记录。查姆:斯普林格(ISBN 978-3-030-29764-0/pbk;978-3-030-29765-7/电子书)。计算机科学课堂讲稿11726。人工智能课堂讲稿,469-480(2019年)。
理学硕士: 68T37型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kern Isberner,Gabriele(ed.)等人,《不确定性推理的符号和定量方法》。第15届欧洲会议,2019年9月18日至20日,塞尔维亚贝尔格莱德,ECSQARU。会议记录。查姆:斯普林格(ISBN 978-3-030-29764-0/pbk;978-3-030-29765-7/电子书)。计算机科学课堂讲稿11726。人工智能课堂讲稿,385-396(2019年)。
理学硕士: 68T37型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。第16届欧洲会议,JELIA 2019,意大利伦德,2019年5月7日至11日。会议记录。查姆:斯普林格(ISBN 978-3-030-19569-4/pbk;978-3-030-19570-0/电子书)。计算机科学课堂讲稿11468。人工智能课堂讲稿,803-819(2019年)。
理学硕士: 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。第16届欧洲会议,JELIA 2019,意大利伦德,2019年5月7日至11日。会议记录。查姆:斯普林格(ISBN 978-3-030-19569-4/pbk;978-3-030-19570-0/电子书)。计算机科学课堂讲稿11468。人工智能课堂讲稿,794-802(2019年)。
理学硕士: 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。第16届欧洲会议,JELIA 2019,意大利伦德,2019年5月7日至11日。会议记录。查姆:斯普林格(ISBN 978-3-030-19569-4/pbk;978-3-030-19570-0/电子书)。计算机科学课堂讲稿11468。人工智能课堂讲稿,778-793(2019年)。
理学硕士: 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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