×

找到22份文件（结果1-22）

最新的 引文 关联
道格拉斯·森泽;维克托·马雷克。;杰弗里·雷梅尔（Jeffrey B.Remmel）。

带函数符号的有限正规谓词逻辑程序的索引集。 （英语） Zbl 1474.68041号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 60-75 (2016).
MSC公司：68N17号 03B70号 2015年3月1日 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cenzer}等人，Lect。注释计算。科学。9537，60-75（2016；Zbl 1474.68041）
全文： 内政部
维克托·马雷克。;杰弗里·雷梅尔（Jeffrey B.Remmel）。

具有集合约束的析取程序。 （英语） Zbl 1357.68038号

Erdem，Esra（编辑）等人，《正确的推理》。关于基于逻辑的人工智能的论文，以纪念Vladimir Lifschitz。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学讲义7265，471-486（2012）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}和\textit{J.B.Remmel}，莱克特。注释计算。科学。7265，471--486（2012；Zbl 1357.68038）
全文： 内政部
维克托·马雷克;杰弗里·雷梅尔（Jeffrey B.Remmel）。

自动和答案集编程。 （英语） Zbl 1211.68061号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。《计算机科学讲义》5407323-337（2009）。
MSC公司：68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.Marek｝和\textit｛J.B.Remmel｝，Lect。注释计算。科学。5407323-337（2009年；Zbl 1211.68061）
全文： 内政部
维克托·马雷克。;特鲁什琴斯基，米洛斯奥

逻辑和人工智能中的近似方案。 （英语） Zbl 1203.68205号

Peters，James F.（编辑）等人，《粗糙集学报九》，柏林：施普林格出版社（ISBN 978-3-540-89875-7/pbk）。计算机科学课堂讲稿5390。《期刊副刊》，135-144（2008）。
MSC公司：68层37 68N17号 第68页，共15页 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}和\textit{M.Truszczyn ski}，莱克特。注释计算。科学。5390、135——144（2008年；Zbl 1203.68205）
全文： 内政部
马雷克，V.W。;雷梅尔，J.B。

关于Gelfond-Lifschitz算子的连续性以及ASP中证明理论的其他应用。 （英语） Zbl 1185.68169号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366223-237（2008）。
MSC公司：68N17号 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}和\textit{J.B.Remmel}，莱克特。注释计算。科学。5366、223--237（2008年；Zbl 1185.68169）
全文： 内政部
马雷克，V.W。

Quo vadis答案集编程？过去、现在和未来。 （英语） Zbl 1185.68168号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，83-87（2008）。
MSC公司：68N17号 68-03
PDF格式BibTeX公司 XML格式引用
\文本｛V.W.Marek｝，勒克特。注释计算。科学。5366、83-87（2008年；Zbl 1185.68168）
全文： 内政部
乔里·恩格弗里特;V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基，米洛斯奥

非单调推理规范的无限缺省逻辑。 （英语） Zbl 1427.68290号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 224-236 (1996).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}等人，Lect。注释计算。科学。1126224-236（1996年；Zbl 1427.68290）
全文： 内政部
V.Wiktor马雷克;尼禄，阿尼尔;杰弗里·雷梅尔（Jeffrey B.Remmel）。

逻辑编程中的逻辑约束。 （英语） Zbl 1497.68460号

Marek，V.W.（编辑）等人，《逻辑编程与非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 43-56 (1995).
MSC公司：第68页第27页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}等人，Lect。注释计算。科学。928、43-56（1995年；Zbl 1497.68460）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件