×

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

最新的 引文 关联
卡洛·扎尼奥洛;达斯，阿里亚姆;顾嘉琪;李明达;李有福;王，金

递归程序中的预映射约束。 （英语） Zbl 07453119号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306255-258（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{C.Zaniolo}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306255--258（2019；Zbl 07453119）
王一松;你，嘉慧;张明义

将函数嵌入析取逻辑程序中。 （英语） Zbl 1219.68088号

Faber，Wolfgang（编辑）等人，《研讨会论文集》。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。[s.l]，[s.n]。46-60 (2009).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，in：研讨会记录。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。46-60（2009年；Zbl 1219.68088）
全文： 链接
杰罗·扬森;史蒂文·肖卡特;德克·维尔梅尔;马丁·德·科克

通用模糊答案集程序。 （英语） Zbl 1246.68232号

Di Gesó，Vito（编辑）等人，《模糊逻辑与应用》。2009年6月9日至12日，第八届WILF国际研讨会，意大利巴勒莫。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02281-4/pbk）。计算机科学课堂讲稿5571。人工智能课堂讲稿，352-359（2009）。
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{J.Janssen}等人，Lect。注释计算。科学。5571、352--359（2009年；Zbl 1246.68232）
全文： 内政部
M.法拉斯基。;C·奥尔特。;帕拉米德斯，C。;F.巴伦西亚。

时序并发约束程序的声明性诊断。 （英语） Zbl 1213.68204号

Dahl，Verónica（编辑）等人，《逻辑编程》。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74608-9/pbk）。计算机科学课堂讲稿4670271-285（2007）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Falaschi}等人，Lect。注释计算。科学。4670271--285（2007年；Zbl 1213.68204）
全文： 内政部
雅各布·M·豪。;安迪·金

正布尔函数用作多标题子句。 （英语） Zbl 1053.68534号

Codognet，Philippe（编辑），《逻辑编程》。2001年11月26日至12月1日在塞浦路斯帕福斯举行的第17届国际LP会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42935-2）。莱克特。注释计算。科学。2237, 120-134 (2001).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Howe}和\textit{A.King}，莱克特。注释计算。科学。2237、120--134（2001年；Zbl 1053.68534）
全文： 链接
沙赫特，P。

约束逻辑程序的精确的与目标无关的抽象解释。 （英语） Zbl 0970.68029号

科林·菲奇（编辑），《计算：澳大利亚理论研讨会》，CATS 2001。第七届研讨会论文集，澳大利亚黄金海岸邦德大学，2001年1月29日至30日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。42，17 p.，仅电子版（2001年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Schachte}，摘自：计算：澳大利亚理论研讨会，CATS 2001。第七届研讨会论文集，澳大利亚黄金海岸邦德大学，2001年1月29日至30日。阿姆斯特丹：爱思唯尔。17页（2001年；Zbl 0970.68029）
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑）

人工智能和逻辑编程逻辑手册。第5卷：逻辑编程。 （英语） Zbl 0889.03001号

牛津：克拉伦登出版社。xv，799页（1998年）。
审核人：N.Curteanu（伊阿什）
MSC公司：03-00 68-00 68N17号 03-06 68-06
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第5卷：逻辑编程。牛津：克拉伦登出版社（1998；Zbl 0889.03001）
肯·麦卡龙

析取线性规划：运筹学和逻辑规划的交叉点。 （英语） Zbl 0948.68033号

Jaffar，Joxan（编辑），《逻辑编程》。1998年6月16日至19日，英国曼彻斯特，联合国际会议和研讨会（JICSLP’98）会议记录。第四届逻辑编程国际会议（ICLP’98）和国际逻辑编程研讨会（ILPS’98）的联合活动，这是两个系列首要国际逻辑编程会议中的第15次会议。马萨诸塞州剑桥：麻省理工学院出版社。麻省理工学院逻辑编程新闻系列。5-6 (1998).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{K.McAloon}，in：逻辑编程。1998年6月16日至19日，英国曼彻斯特，联合国际会议和研讨会（JICSLP’98）会议记录。逻辑编程国际会议（ICLP’98）和国际逻辑编程研讨会（ILPS’98）的第四次联合活动，这是逻辑编程两个系列首要国际会议中的第15次会议。马萨诸塞州剑桥：麻省理工学院出版社。5--6（1998年；Zbl 0948.68033）
维托尔德·查拉托尼克;安德烈亚斯·波德尔斯基

一类集合约束的独立性。 （英语） Zbl 0886.03023号

尤金·弗洛伊德（Eugene C.Freuder）（编辑），约束编程的原理和实践——96年版。第二届国际会议，1996年8月19日至22日，美国马萨诸塞州剑桥市，CP’96。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1118, 76-90 (1996).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{W.Charatonik}和\textit{A.Podelski}，莱克特。注释计算。科学。1118、76-90（1996年；Zbl 0886.03023）
伊贡博格尔;萨拉蒙，罗萨里奥·F·。

用于可证明正确编译\（\text{CLP}（{mathcal R}）\）程序的CLAM规范。 （英语） Zbl 0852.68057号

Börger，Egon（编辑），规范和验证方法。牛津：克拉伦登出版社。国际计算机科学家学校。97-130（1995年）。
MSC公司：68问题65 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.Börger｝和\textit｛R.F.Salamone｝，在：规范和验证方法中。牛津：克拉伦登出版社。97-130（1995年；Zbl 0852.68057）
马克·米歇尔·科西尼;卡宁达穆桑布;安托万·劳西;波杜因勒·沙利埃

通过符号有限域上的约束求解对Prolog进行自底向上的高效抽象解释。 （英语） Zbl 0797.68028号

Bruynooghe，Maurice（编辑）等人，《编程语言实现与逻辑编程》。1993年8月25日至27日，爱沙尼亚塔林，第五届国际研讨会，PLILP’93。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。714, 75-91 (1993).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.-M.Corsini}等人，Lect。注释计算。科学。714、75-91（1993年；Zbl 0797.68028）
罗伯托·贾科巴齐;索米亚·德布雷。;乔治·列维

约束逻辑程序的广义语义。 （英语） Zbl 0862.68072号

新一代计算机技术研究所（编辑），第五代计算机系统1992。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。581-591 (1992).
MSC公司：68问题55 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{R.Giacobazzi}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。581--591（1992年；Zbl 0862.68072）
D.R.布鲁。（编辑）

逻辑编程-新的前沿。第二届英国逻辑编程会议，英国布里斯托尔，1990年3月。诉讼程序。 （英语） Zbl 0754.68003号

Dordrecht等：Kluwer。十、 第310页（1991年）。
审核人：Y.M.El-Fattah（欧文）
MSC公司：68-06 68N17号 68T99型
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Brough}（编辑），《逻辑编程——新前沿》。第二届英国逻辑编程会议，英国布里斯托尔，1990年3月。诉讼程序。Dordrecht等：Kluwer（1991；Zbl 0754.68003）
赫尔曼·坎德尔（编辑）

第七届奥地利人工智能会议。1991年9月24日至27日，奥地利维也纳。诉讼程序。 （德语、英语） Zbl 0819.68130号

信息-Fachberichte. 287. 柏林等：Springer-Verlag。八、 第180页（1991年）。
MSC公司：第68页第35页 00B25型 68-06 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Kaindl}（编辑），第七届奥地利人工智能会议。1991年9月24日至27日，奥地利维也纳。诉讼程序。柏林等：Springer-Verlag（1991；Zbl 0819.68130）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件