×

兹马思-数学第一资源

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

100
马查克斯
Herzig,Andreas(编辑)等人,《信息和知识系统基础》。第11届国际研讨会,FoIKS 2020,德国多特蒙德,2020年2月17日至21日,会议记录。查姆:斯普林格(ISBN 978-3-030-39950-4/pbk;978-3-030-39951-1/电子书)。计算机科学课堂讲稿12012,122-139(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。国际研讨会,LFCS 2020,美国佛罗里达州迪尔菲尔德海滩,2020年1月4日至7日。会议记录。查姆:斯普林格(ISBN 978-3-030-36754-1/pbk;978-3-030-36755-8/电子书)。计算机科学课堂讲稿11972177-194(2020)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
廖北水(编),动力学,不确定性和推理。2018年6月17日第二届中国学术论文学术研讨会论文集,第二届中国学术论文集;978-981-13-7793-8/pbk;978-981-13-7791-4/电子书)。亚洲逻辑:Studia Logica图书馆,117-133(2019年)。
理学硕士: 2006年3月
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bezhanishvili,Guram(编辑)等,模态逻辑的进展。第12卷,《第12届会议纪要》(AiML 2018),瑞士伯尔尼,2018年8月27-31日。伦敦:学院出版物。577-590(2018年)。
理学硕士: 03B55型 03B20型
PDF格式 BibTeX公司 XML 引用
Bezhanishvili,Guram(编辑)等,模态逻辑的进展。第12卷,《第12届会议纪要》(AiML 2018),瑞士伯尔尼,2018年8月27-31日。伦敦:学院出版物。559-575(2018年)。
理学硕士: 03B45型 03B10号
PDF格式 BibTeX公司 XML 引用
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57564-582(2018年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士: 03F45 03B45型 03F50型 03F55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Baier,Christel(ed.)等人,《软件科学与计算结构基础》。2018年4月14日,作为2018年4月21日希腊萨洛西塔克软件国际会议的一部分,2018年4月14日举行的欧洲软件理论与实践研讨会。查姆:斯普林格(ISBN 978-3-319-89365-5/pbk;978-3-319-89366-2/电子书)。计算机科学课堂讲稿10803441-458(2018)。
理学硕士: 68牛顿 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2018年LFCS国际研讨会,美国佛罗里达州迪尔菲尔德海滩,2018年1月8日至11日。会议记录。查姆:斯普林格(ISBN 978-3-319-72055-5/pbk;978-3-319-72056-2/电子书)。计算机科学课堂讲稿10703221-241(2018)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kahle,Reinhard(ed.)等人,《证明理论的进展》。在格哈德·杰哈德60岁诞辰之际,研讨会记录ä德国,伯尔尼,瑞士,2013年12月13-14日。巴塞尔:伯尔赫ä用户/Springer。掠夺。计算机。科学。申请。日志。28291-318(2016年)。
理学硕士: 03B45型 03C75型 03F05号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
杨金木(编),非经典逻辑的结构分析。第二届台湾哲学逻辑学术研讨会论文集,台湾台北,2014年10月24-25日。柏林:施普林格。日志。亚洲:种马。日志。Libr.,223-251(2016年)。
理学硕士: 03B45型 03B20型 03F05号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿拉佐拉公羊í雷斯,乔斯é 猛撞ón(ed.)等人,《第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文选集》,墨西哥普埃布拉,2016年8月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记328,17-29(2016)。
理学硕士: 03B53号 03B50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Arazim,Pavel(ed.)等人,《2015年逻辑学年鉴》。第29届国际学术研讨会论文集,捷克共和国赫尼茨修道院,2015年6月15日至19日。伦敦:大学出版物。179-192(2016年)。
理学硕士: 03B20型
PDF格式 BibTeX公司 XML 引用
Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL'15,柏林,德国,2015年9月7-10日。会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,325-342(2015)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
蕨类植物ández,Maribel(ed.)等人,《第八届逻辑和语义框架研讨会论文集》(LSFA 2013),Sã巴西圣保罗,2013年9月2-3日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记305123-139,电子版(2014)。
理学硕士: 03B45型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
de Paiva,Valeria(ed.)等人,《第六届直觉模态逻辑与应用研讨会论文集》(IMLA 2013)与UNILOG 2013联合举办,巴西里约热内卢,2013年4月7日。阿姆斯特丹:Elsevier。理论计算机科学电子笔记300,47-70(2014)。
PDF格式 BibTeX公司 XML 引用
Pereira,Luiz Carlos(编辑)等人,《自然演绎的进展》。庆祝达格·普拉维茨的工作。根据“自然演绎”会议上的陈述选编论文,里约热内卢,巴西,2001年。多德雷赫特:斯普林格(ISBN 978-94-007-7547-3/hbk;978-94-007-7548-0/电子书)。《逻辑趋势》——Studia Logica Library 39,193-241(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
维斯顿。诺和锡。天哪。大学,爵士。垫子。梅克。通知。 13,4号,68-83(2013年); 翻译J。数学。《科学》,纽约205,第3号,389-402(2015年)。
理学硕士: 03B45型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第18届ACM SIGPLAN函数式编程国际会议论文集,ICFP'13,波士顿,马萨诸塞州,美国,2013年9月25-27日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN公告48,第9号,221-232(2013年)。
理学硕士: 68N18 03B70型 68N30型 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lodaya,Kamal(编辑),《逻辑及其应用》。第五届印度会议,2013年ICLA,印度金奈,2013年1月10日至12日,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-36038-1/pbk)。计算机科学课堂讲稿7750173-184(2013)。
理学硕士: 68T27型 03B42号 68T42型
PDF格式 BibTeX公司 XML 引用
Bolander,Thomas(ed.)等人,《模态逻辑的进展》。第9卷,《第9届会议记录》(AiML 2012),丹麦哥本哈根,2012年8月22-25日。伦敦:大学出版物(ISBN 978-1-84890-068-4/pbk)。483-493(2012年)。
理学硕士: 03B55型 03G30型
PDF格式 BibTeX公司 XML 引用
Coecke,Bob(ed.)等人,《第五届量子物理与逻辑国际研讨会论文集》和《第四届计算模型发展研讨会论文集》(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》270,No.1,121-128(2011)。
理学硕士: 2005年第68季度 03B40型 68问55 81P68页
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年1月26-28日,美国德克萨斯州奥斯汀,POPL'11。纽约:计算机械协会(ACM)(ISBN 978-1-4503-0490-0)。119-132(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
剑桥:剑桥大学出版社(ISBN 978-1-107-00895-3/hbk;978-1-107-41723-6/pbk;978-1-139-00351-3/电子书)。十一,265 p(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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