×

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

最新的 引文 关联
Vivek Nigam先生;吉赛尔·赖斯;萨马尔·拉赫穆尼;哈拉尔德·鲁斯

证据交易的证据搜索和证书。 （英语） Zbl 07437082号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 234-251 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛V.Nigam｝等人，Lect。注释计算。科学。12699，234--251（2021；Zbl 07437082）
全文： 内政部
OA许可证
考斯托夫·乔杜里

直觉逻辑的子公式链接及其在类型理论中的应用。 （英语） Zbl 07437080号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 200-216 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}，莱克特。注释计算。科学。12699200-216（2021年；兹bl 07437080）
全文： 内政部
OA许可证
纪尧姆·伯勒

将聚焦和分辨率与选择联系起来。 （英语） Zbl 1510.03010号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第9条，第14页（2018年）。
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Burel}，LIPIcs——莱布尼茨国际程序。通知。117，第9条，第14页（2018年；Zbl 1510.0310）
全文： 内政部
何塞·埃斯皮里托·桑托

极化的\（\lambda \）演算。 （英语） Zbl 1394.68059号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记332149-168（2017）。
MSC公司：68甲18 03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Espírito Santo}，电子。注释Theor。计算。科学。332149-168（2017年；Zbl 1394.68059）
全文： 内政部
伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托

具有不同极性赋值的多焦点证明。 （英语） Zbl 1394.03070号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，163-179（2016）。
MSC公司：07年3月 03B20型 05年3月 20层03
PDF格式BibTeX公司 XML格式引用
\textit{E.Pimentel}等人，《电子》。注释Theor。计算。科学。323163--179（2016年；Zbl 1394.03070）
全文： 内政部
考斯托夫·乔杜里;索尼娅·马林;卢茨斯特拉汉堡

聚焦和合成嵌套序列。 （英语） Zbl 1476.03080号

Jacobs，Bart（ed.）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9634, 390-407 (2016).
MSC公司：05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}等人，Lect。注释计算。科学。9634、390--407（2016年；Zbl 1476.03080）
全文： 内政部
考斯托夫·乔杜里

乘法次指数逻辑的不可判定性。 （英语） Zbl 1486.03103号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，1-8（2015）。
MSC公司：03楼52 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}，电子。程序。西奥。计算。科学。（EPTCS）176，1--8（2015；Zbl 1486.03103）
全文： arXiv公司 链接
戴尔·米勒

校对和逻辑编程。 （英语） 兹比尔1362.68055

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课程讲稿9527，3-17（2015）。
MSC公司：68号30 03B70型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Miller}，莱克特。注释计算。科学。9527，3-17（2015；Zbl 1362.68055）
全文： 内政部 哈尔
布洛克-南内斯塔德，陶斯;考斯托夫·乔杜里

通过有限近似的迭代精化，使用逆方法进行置换。 （英语） Zbl 1471.68303号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEUX 2015，波兰弗罗茨瓦夫，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 153-168 (2015).
MSC公司：68伏15 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brock-Nannestad}和\textit{K.Chaudhuri}，莱克托。注释计算。科学。9323153-168（2015年；兹比尔1471.68303）
全文： 内政部 哈尔
肖恩·麦克劳林;弗兰克·芬宁

用极化逆方法证明直觉定理。 （英语） Zbl 1250.03019号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能讲义》，230-244（2009）。
MSC公司：03B35型 03B20型 05年3月 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.McLaughlin}和\textit{F.Pfenning}，莱克特。注释计算。科学。5663、230--244（2009年；Zbl 1250.03019）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件