×

找到23份文件（结果1–23）

最新的 引文 关联
法布里西奥·里古齐;Swift，Terrance公司

带注释析取的逻辑程序推理的表格和答案包含。 （英语） Zbl 1237.68049号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，162-171，仅电子版（2010年）。
MSC公司：68N17号 03B48号 68层37
PDF格式BibTeX公司 XML格式引用
\textit｛F.Riguzzi｝和\textit｛T.Swift｝，LIPIcs——莱布尼茨国际会议记录。通知。7162-171（2010年；兹bl 1237.68049）
全文： 内政部 链接
Swift，Terrance公司;大卫·沃伦。

包含答案的表格：实现、应用程序和性能。 （英语） Zbl 1306.68012号

Janhunen，Tomi（编辑）等人，《人工智能中的逻辑》。第十二届欧洲会议，JELIA 2010，芬兰赫尔辛基，2010年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15674-8/pbk）。计算机科学课堂讲稿6341。《人工智能课堂讲稿》，300-312（2010）。
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Swift}和\textit{D.S.Warren}，莱克特。注释计算。科学。6341，300-312（2010；Zbl 1306.68012）
全文： 内政部
Polleres，阿克塞尔（编辑）;Swift，Terrance公司（编辑）

Web推理和规则系统。第三届国际会议，RR 2009，美国弗吉尼亚州尚蒂利，2009年10月25日至26日，会议记录。 （英语） Zbl 1173.68315号

计算机科学课堂讲稿5837.柏林：施普林格出版社（ISBN 978-3-642-05081-7/pbk）。x、 第269页。(2009).
MSC公司：68-06 68M10个 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Polleres}（编辑）和\textit{T.Swift}（主编），Web推理和规则系统。第三届国际会议，RR 2009，美国弗吉尼亚州尚蒂利，2009年10月25日至26日，会议记录。柏林：施普林格出版社（2009；Zbl 1173.68315）
全文： 内政部
鲁伊·马奎斯;Swift，Terrance公司

正常程序的并发和本地评估。 （英语） Zbl 1185.68170号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366206-222（2008）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Marques}和\textit{T.Swift}，Lect。注释计算。科学。5366、206-222（2008年；Zbl 1185.68170）
全文： 内政部
约瑟夫·加特纳;Swift，Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉

从计算逻辑的角度进行精神病学诊断。 （英语） Zbl 0983.68697号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1861, 1362-1376 (2000).
MSC公司：68单位99 68单位35 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{J.Gartner}等人，Lect。注释计算。科学。1861、1362——1376（2000年；Zbl 0983.68697）
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift，Terrance公司

连贯、基础良好的注释逻辑程序。 （英语） Zbl 0952.68025号

Michael Gelfond（编辑）等人，《逻辑编程和非单调推理》。第五届国际会议，LPNMR’99。美国德克萨斯州埃尔帕索，1999年12月2日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1730, 262-276 (1999).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{C.V.Damásio}等人，Lect。注释计算。科学。1730、262--276（1999年；Zbl 0952.68025）
康斯坦蒂诺斯·萨戈纳斯;Swift，Terrance公司;大卫·沃伦。

一种用于固定顺序动态分层程序的抽象机器。 （英语） Zbl 1412.68032号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 328-342 (1996).
MSC公司：68N17号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Sagonas}等人，Lect。注释计算。科学。1104328--342（1996年；Zbl 1412.68032）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件