×

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

最新的 引文 关联
菲利普·科纳；Michael Leuschel先生；若昂·巴博萨；维托尔·桑托斯·科斯塔；维罗尼卡·达尔；曼努埃尔五世（Manuel V.Hermenegildo）。；何塞·莫拉莱斯（Jose F.Morales）。；Wielemaker，简；丹尼尔·迪亚兹；萨尔瓦多阿布雷乌；乔瓦尼·西亚托

五十年的序幕及以后。 （英语） Zbl 07776350号

理论与实践。日志。程序。 22，第6号，776-858（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Körner}等人，《理论与实践》。日志。程序。22，编号6，776--858（2022；Zbl 07776350）
全文： 内政部 arXiv公司
OA许可证
鲁宾·鲁比奥

莫德战略语言及其应用概述。 （英语） Zbl 1514.68145号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 65-84 (2022).
MSC公司：60年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}，莱克特。票据计算。科学。13252，65-84（2022；Zbl 1514.68145）
全文： 内政部
鲁宾·鲁比奥；马蒂·奥利特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） Zbl 1528.68233号

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，J.Log。阿尔盖布。方法程序。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
德拉本特，Włodzimierz

Prolog调试器和声明式编程。 （英语） Zbl 1502.68062号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12042, 193-208 (2020).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{W.Drabent}，莱克特。票据计算。科学。12042、193--208（2020；Zbl 1502.68062）
全文： 内政部 arXiv公司
托马斯·普罗科什

分布式逻辑编程的低级索引。 （英语） Zbl 07455734号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325303-312（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Prokosch}，电子。程序。西奥。计算。科学。（EPTCS）3253030--312（2020；Zbl 07455734）
全文： arXiv公司 链接
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马蒂·奥利特，纳西索；何塞·梅塞盖尔；鲁宾·鲁比奥；卡罗琳·塔尔科特

莫德的编程和符号计算。 （英语） Zbl 1494.68109号

J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.
MSC公司：第68季度第42季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，J.Log。阿尔盖布。方法程序。110，文章ID 100497，58 p.（2020；Zbl 1494.68109）
全文： 内政部 arXiv公司
泰森·康迪；达斯，阿里亚姆；马泰奥·因特兰迪；亚历山大·什卡普斯基；杨默翰；卡洛·扎尼奥洛

在BigData上扩展推理和高级分析。 （英语） Zbl 1452.68064号

理论与实践。日志。程序。 18，编号5-6，806-845（2018）.
MSC公司：第68页，共15页 64岁以下 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Condie}等人，《理论与实践》。日志。程序。18、编号5--6、806--845（2018；Zbl 1452.68064）
全文： 内政部 arXiv公司
托马斯·艾特；乔瓦姆巴蒂斯塔·伊安尼；托马斯·克伦瓦尔纳

答案集编程：初级。 （英语） Zbl 1254.68248号

Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，40-110（2009）。
MSC公司：68立方英尺 68英里11 68N17号 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。票据计算。科学。5689、40-110（2009年；Zbl 1254.68248）
全文： 内政部
马尔科·蒙塔利；保罗·托罗尼；马尔科·阿尔贝蒂；费德里科·切萨尼；马可·加瓦内利；伊芙琳娜·拉姆；梅洛，保拉

使用逻辑编程验证声明性规范。 （英语） Zbl 1185.68419号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，440-454（2008）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Montali}等人，Lect。票据计算。科学。5366440-454（2008年；Zbl 1185.68419）
全文： 内政部
Krzysztof R.阿普特。；英格丽·路易杰斯

用延迟声明验证逻辑程序。 （英语） Zbl 1496.68082号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。936, 66-90 (1995).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}和\textit{I.Luitjes}，莱克特。票据计算。科学。936、66-90（1995年；Zbl 1496.68082）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件