×

兹马思-数学第一资源

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

100
马查克斯
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57131-142(2018年)。
理学硕士: 68吨20 68周40
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lal,Akash(ed.)等人,《第36届IARC软件技术和理论计算机科学基础年会》(FSTTCS 2016),印度钦奈,2016年12月13-15日。会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第50条,第13条 p(2016年)。
理学硕士: 68吨20 90C27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
1998年5月23日至26日,美国德克萨斯州达拉斯,第30届ACM计算理论研讨会论文集,纽约:ACM,计算机械协会。561-571(1998年)。
理学硕士: 68问25
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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