×

兹马思-数学第一资源

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

100
马查克斯
Beyersdorff,Olaf(ed.)等人,《满意度测试的理论和应用——2018年SAT》,第21届国际会议,2018年SAT,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10929383-398(2018年)。
理学硕士:68问25 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 多伊
Legay,Axel(ed.)等人,《用于系统构建和分析的工具和算法》。2017年第23届国际会议,作为欧洲软件理论与实践联合会议的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,2017年ETAPS。会议记录。第一部分。柏林:斯普林格。选择。笔记计算。科学。1020558-75(2017年)。
理学硕士:68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 多伊
de Moura,Leonardo(编辑),《自动扣减——CADE 26》,第26届自动扣减国际会议,瑞典哥德堡,2017年8月6日至11日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10395,95-113(2017年)。
理学硕士:03B35型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 多伊

筛选结果依据…

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