×

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

最新的 引文 关联
阿尔特·卡奇，哈桑；帕西，加布里埃拉

相似签名上一阶项的模糊统一和推广。 （英语） Zbl 1508.68051号

Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 218-234 (2018).
MSC公司：68号30 03B52号 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}和\textit{G.Pasi}，莱克特。注释计算。科学。10855、218--234（2018；Zbl 1508.68051）
全文： 内政部 arXiv公司
阿尔特·卡奇，哈桑

抽象、可重用和可扩展的编程语言设计体系结构。 （英语） Zbl 1397.68023号

Tannen，Val（编辑）等人，《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-41659-0/pbk；978-3-442-41660-6/电子书）。《计算机科学讲义》8000112-166（2013）。
MSC公司：68甲15 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}，莱克特。注释计算。科学。8000、112--166（2013；Zbl 1397.68023）
全文： 内政部
阿尔特·卡奇，哈桑；佐佐木裕隆

特征项泛化的公理方法。 （英语） Zbl 1007.68146号

De Raedt，Luc（编辑）等人，《机器学习：ECML 2001》。第十二届欧洲会议，2001年9月5日至7日，德国弗莱堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2167, 1-12 (2001).
MSC公司：68T05型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}和\textit{Y.Sasaki}，莱克特。注释计算。科学。2167，1--12（2001；Zbl 1007.68146）
全文： 链接
阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基

订单分类特征约束的包含和取消包含。 （英语） Zbl 0793.68022号

安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。698, 1-18 (1993).
MSC公司：68N17号 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}和\textit{A.Podelski}，莱克特。注释计算。科学。698，1-18（1993；Zbl 0793.68022）
阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；格特·斯莫尔卡

一种基于特征的约束系统，用于包含逻辑编程。 （英语） Zbl 0862.68024号

新一代计算机技术研究所（编辑），1992年第5代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。1012-1021 (1992).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。1012--1021（1992；Zbl 0862.68024）
阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基

走向生命的意义。 （英语） Zbl 0801.68018号

Maluszyñski，Jan（编辑）等人，《编程语言实现和逻辑编程》。1991年8月26日至28日，第三届国际研讨会，PLILP’91，德国帕绍。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。528, 255-274 (1991).
审核人：洛伦兹
MSC公司：68甲15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}和\textit{A.Podelski}，莱克特。注释计算。科学。528255-274（1991年；Zbl 0801.68018）
阿尔特·卡奇，哈桑（编辑）；莫里斯·尼瓦特（编辑）

代数结构中方程的解析。第二卷：改写技巧。 （英语） Zbl 1109.68499号

波士顿：学术出版社（ISBN 0-12-046371-7）。第xx页，第379页。(1989).
MSC公司：2012年第68季度 68-06
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}（编辑）和\textit{M.Nivat}（主编），代数结构中方程的解析。第二卷：改写技巧。波士顿：学术出版社（1989；Zbl 1109.68499）
阿尔特·卡奇，哈桑（编辑）；莫里斯·尼瓦特（编辑）

代数结构中方程的解析。第一卷：代数技术。 （英语） 兹比尔1109.68521

波士顿：学术出版社（ISBN 0-12-046370-9）。xxii，452页（1989年）。
MSC公司：68问题65 68-06 68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}（编辑）和\textit{M.Nivat}（主编），代数结构中方程的解析。第一卷：代数技术。波士顿：学术出版社（1989；Zbl 1109.68521）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件