×

找到8个文档（结果1-8）

最新的 引文 关联
大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科

区间时序逻辑中的快速推理。 （英语） Zbl 1434.03066号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第17条，第17页（2017年）。
MSC公司：03B44号 68T27型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，LIPIcs——莱布尼茨国际程序。通知。82，第17条，第17页（2017；Zbl 1434.03066）
全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科

关于密集结构上艾伦关系的模态逻辑片段的复杂性。 （英语） Zbl 1451.03020号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8977, 511-523 (2015).
MSC公司：03B44号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit｛D.Bresolin｝等人，Lect。票据计算。科学。8977，511--523（2015；Zbl 1451.03020）
全文： 内政部 链接
大卫·布雷索林；费尔南多·希门尼斯；格拉西亚·桑切斯；圭多·西亚维科

基于多目标进化算法的命题区间逻辑公式的有限可满足性。 （英语） 兹比尔1369.68298

第十二届ACM SIGEVO遗传算法基础研讨会论文集，FOGA 2013，阿德莱德，SA，澳大利亚，2013年1月16-20日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1990-4）。2013年5月25日至36日。
MSC公司：68T20型 65年第68季度 90C29型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，《第十二届ACM SIGEVO遗传算法基础研讨会论文集》，2013年FOGA，澳大利亚阿德莱德，2013年1月16日至20日。纽约州纽约市：计算机协会（ACM）。25-36（2013年；Zbl 1369.68298）
全文： 内政部
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科

枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 （英语） Zbl 1433.03019号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8312, 1-17 (2013).
MSC公司：03B35型 03B45号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。票据计算。科学。8312，1-17（2013；Zbl 1433.03019）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段