×

找到538个文档（结果1-100）

最新的 引文 关联
Michikazu Hirata;Minamide、Yasuhiko;佐藤，铁杉

Isabelle/HOL中高阶概率程序的程序逻辑。 （英语） Zbl 07570114号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13215, 57-74 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Hirata}等人，Lect。注释计算。科学。13215，57-74（2022；Zbl 07570114）
全文： 内政部
尼古拉斯·希彭;尤利娅·利勒

在答案集语义下估计逻辑程序的基础大小。 （英语） Zbl 07437051号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12678, 346-361 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Hippen}和\textit{Y.Lierler}，莱克特。注释计算。科学。12678、346--361（2021；Zbl 07437051）
全文： 内政部
金加尔巴苏;萨拉特·钱德拉·瓦拉纳西;法哈德·沙克林;戈帕尔·古普塔

SkuARE：基于语义的问答和推理引擎。 （英语） Zbl 07455707号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325、73-86（2020年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{K.Basu}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325、73--86（2020；Zbl 07455707）
全文： arXiv公司 链接
弗朗西斯科·卡里梅里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;克伦沃尔纳，托马斯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布

ASP-Core-2输入语言格式。 （英语） Zbl 1472.68180号

理论与实践。日志。程序。 20，第2期，294-309（2020）.
MSC公司：68T20型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Calimeri}等人，理论与实践。日志。程序。20，第2号，294--309（2020；Zbl 1472.68180）
全文： 内政部 arXiv公司
本杰明·穆拉德;马蒂奥·奇米尼

系统描述：lang-n-change–转换语言的工具。 （英语） Zbl 07368092号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12073, 198-214 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12073，198--214（2020；Zbl 07368092）
全文： 内政部
鲁伊·大仓;Yukiyoshi Kameyama

具有嵌套数据结构和分组的语言集成查询。 （英语） Zbl 07368089号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12073, 139-158 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Okura}和\textit{Y.Kameyama}，Lect。注释计算。科学。12073、139--158（2020；Zbl 07368089）
全文： 内政部
马蒂奥·奇米尼

高阶逻辑编程在面向语言编程中的有效性。 （英语） Zbl 07368087号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12073, 106-123 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}，莱克特。注释计算。科学。12073、106-123（2020；Zbl 07368087）
全文： 内政部
莫雷诺，法拉斯基;卡洛斯·奥拉特

用于分割约束逻辑语言的断言语言。 （英语） Zbl 1524.68064号

弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修改选定的论文。查姆：斯普林格。勒克特。注释计算。科学。11408, 148-165 (2019).
MSC公司：68甲19 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Falaschi}和\textit{C.Olarte}，莱克特。注释计算。科学。11408、148--165（2019年；Zbl 1524.68064）
全文： 内政部 arXiv公司
托比亚斯·凯恩;汉斯·托姆皮茨

Uhura：使用受控自然语言指定应答程序的创作工具。 （英语） Zbl 1525.68009号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11468, 559-575 (2019).
MSC公司：68N17号 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{T.Kain}和\textit{H.Tompits}，莱克特。注释计算。科学。11468、559--575（2019年；Zbl 1525.68009）
全文： 内政部
贝尔纳多·卡特里;克里斯蒂安·雷亚尔;弗朗西斯科·里卡

基于逻辑的文化遗产问答系统。 （英语） Zbl 1525.68163号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。第16届欧洲会议，2019年5月7日至11日，意大利伦德，JELIA 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11468, 526-541 (2019).
MSC公司：68T27型 68N17号 68立方英尺 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{B.Cuteri}等人，Lect。注释计算。科学。11468、526--541（2019年；Zbl 1525.68163）
全文： 内政部
你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） Zbl 07168631号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11885, 3-21 (2019).
MSC公司：68号01 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。注释计算。科学。11885，3--21（2019；Zbl 07168631）
全文： 内政部 链接
王毅;Lee，Joohyng先生

通过概率动作语言（p\mathcal{BC}+\）的决策论扩展，阐述了马尔可夫决策过程的容错表示。 （英语） Zbl 1522.68116号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11481, 224-238 (2019).
MSC公司：68N17号 68T20型 68T27型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}和\textit{J.Lee}，Lect。注释计算。科学。11481224--238（2019年；Zbl 1522.68116）
全文： 内政部
鲁道夫·勒皮格雷

PML2：ML中的集成程序验证。 （英语） Zbl 1528.68083号

Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。104，第4条，第27页（2018年）。
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Lepigre}，LIPIcs——莱布尼茨国际程序。通知。104，第4条，第27页（2018；Zbl 1528.68083）
全文： 内政部 arXiv公司
沙迦·伊扎基;托默·科特克;诺姆·里内茨基;穆利·萨吉夫;奥尔塔米尔;维思，赫尔穆特;弗洛里安·祖勒格

关于使用嵌入式SQL自动验证web应用程序。 （英语） Zbl 1402.68123号

Benedikt，Michael（编辑）等人，第20届数据库理论国际会议，2017年ICDT，意大利威尼斯，2017年3月21日至24日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-024-8）。LIPIcs–莱布尼茨国际信息学论文集68，第16条，第18页（2017年）。
MSC公司：60年第68季度 03B70号 68英里11 68甲15 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，LIPIcs——莱布尼茨国际程序。通知。68，第16条，第18页（2017；Zbl 1402.68123）
全文： 内政部 arXiv公司
西蒙·佩蒂让;迪尼斯·杜契尔;扬尼克·帕门蒂尔

XMG 2：描述描述语言。 （英语） Zbl 1483.68459号

Amblard，Maxime（编辑）等人，《计算语言学的逻辑方面》。庆祝LACL成立20周年（1996-2016）。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。10054, 255-272 (2016).
MSC公司：68T50型 68N17号 68N20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Petitjean}等人，Lect。注释计算。科学。10054，255--272（2016；Zbl 1483.68459）
全文： 内政部
OA许可证
Bekki，大辅;艾哈迈德·卡瓦佐

在CCG解析器中实现变量向量。 （英语） Zbl 1482.68116号

Amblard，Maxime（编辑）等人，《计算语言学的逻辑方面》。庆祝LACL成立20周年（1996-2016）。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。10054, 52-67 (2016).
MSC公司：2012年第68季度 03B65号 68甲18 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{D.Bekki}和\textit{A.Kawazoe}，莱克特。注释计算。科学。10054，52-67（2016；Zbl 1482.68116）
全文： 内政部
OA许可证
安基永;安德烈亚·维佐西

使用Prolog的多态类型系统的可执行关系规范。 （英语） Zbl 1475.68052号

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9613, 109-125 (2016).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{K.Y.Ahn}和\textit{A.Vezzosi}，莱克特。注释计算。科学。9613、109-125（2016年；Zbl 1475.68052）
全文： 内政部
萨姆森·艾布拉姆斯基;多米尼克·霍斯曼

DEMONIC编程：单粒子平衡热力学的计算语言及其形式语义。 （英语） Zbl 1477.80001号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，1-16（2015）。
MSC公司：80-04 68甲15 68问题55 第81页，共13页 80A10号 03B70号 81页68
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}和\textit{D.Horsman}，电子。程序。西奥。计算。科学。（EPTCS）195，1--16（2015；Zbl 1477.80001）
全文： arXiv公司 链接
海宁·克里斯蒂安森

相对时间表达式解析的约束逻辑编程。 （英语） Zbl 1432.68471号

贝克曼，阿诺德（编辑）等人，《语言，生活，极限》。2014年6月23日至27日在匈牙利布达佩斯举行的第十届欧洲可计算性会议，CiE 2014。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。8493, 93-102 (2014).
MSC公司：68T50型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Christiansen}，莱克特。注释计算。科学。8493、93-102（2014年；Zbl 1432.68471）
全文： 内政部
佛罗里达州克鲁兹;里卡多·罗查;塞斯·科本·戈尔茨坦;弗兰克·芬宁

用于在图结构上并发编程的线性逻辑编程语言。 （英语） Zbl 1307.68014号

理论与实践。日志。程序。 14，No.4-5，493-507（2014）.
MSC公司：68N17号 68甲15 03B70号 68甲19 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{F.Cruz}等人，《理论与实践》。日志。程序。14、编号4--5、493--507（2014；Zbl 1307.68014）
全文： 内政部 arXiv公司
乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克

在图的变换上使用\（\mathrm｛SROIQ｝^｛\sigma｝\）逻辑的类霍尔演算。 （英语） Zbl 1417.68026号

乔塞普·迪亚兹（编辑）等人，《理论计算机科学》。第八届IFIP TC 1/WG 2.2国际会议，TCS 2014，罗马，意大利，2014年9月1日至3日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。8705, 164-178 (2014).
MSC公司：68甲15 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Brenas}等人，Lect。注释计算。科学。8705，164--178（2014；Zbl 1417.68026）
全文： 内政部
鲍尔，亚瑟;皮埃尔·布尔劳;爱默丽·基恩;西尔万·萨尔瓦蒂

将PMCFG解析器构建为数据日志程序转换。 （英语） Zbl 1291.68404号

Asher，Nicholas（编辑）等人，《计算语言学的逻辑方面》。2014年6月18日至20日在法国图卢兹举行的LACL 2014第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-43741-4/pbk）。计算机科学课堂讲稿8535，1-13（2014）。
MSC公司：68T50型 68N17号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ball}等人，Lect。注释计算。科学。8535，1-13（2014；Zbl 1291.68404）
全文： 内政部
斯瓦米，尼基尔;塞德里克·福内特;阿西姆·拉斯托吉;卡尔蒂基扬·巴尔干;陈，胡安;Pierre-Yves支柱;加文·比尔曼

逐步键入安全嵌入JavaScript。 （英语） Zbl 1284.68108号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。425-437 (2014).
MSC公司：68甲15 68甲18 68N20型 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Swamy}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。425--437（2014年；Zbl 1284.68108）
全文： 内政部
皮埃尔·M·努格。

使用Perl和Prolog进行语言处理。理论、实施和应用。第2版。 （英语） Zbl 1302.68002号

认知技术柏林：施普林格出版社（ISBN 978-3-642-41463-3/hbk；978-3-442-41464-0/电子书）。xxv，662页。(2014).
MSC公司：68-01 68T50型 68T05型 68吨10 91层20 68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Nugues}，使用Perl和Prolog进行语言处理。理论、实施和应用。第2版，柏林：施普林格出版社（2014；Zbl 1302.68002）
全文： 内政部
罗伊·克罗。;弗兰克·内贝尔

名义lambda演算：FM-Cartesian闭范畴的内部语言。 （英语） Zbl 1334.68042号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记29893-117（2013）。
MSC公司：68甲18 03B40型 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Crole}和textit{F.Nebel}，电子。注释Theor。计算。科学。29893--117（2013；Zbl 1334.68042）
全文： 内政部
彼得·舒勒

使用CYK算法和答案集编程的灵活组合分类语法解析。 （英语） Zbl 1405.68389号

Cabalar，Pedro（编辑）等人，《逻辑编程和非单调推理》。2013年9月15日至19日，第十二届国际会议，LPNMR 2013，西班牙科伦纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40563-1/pbk）。计算机科学讲义8148。《人工智能课堂讲稿》，499-511（2013）。
MSC公司：68T50型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Schüller}，莱克特。注释计算。科学。8148499--511（2013年；Zbl 1405.68389）
全文： 内政部
兰利、卡罗琳·德维·普斯帕·肯卡纳（Carroline Dewi Puspa Kencana）;尼尔森、汉内·里斯;弗莱明·尼尔森

答案集编程中的XACML 3.0。 （英语） Zbl 1395.68084号

Albert，Elvira（编辑），基于逻辑的程序合成和转换。第22届国际研讨会，2012年LOPSTR，比利时鲁汶，2012年9月18-20日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-38196-6/pbk）。计算机科学课堂讲稿7844，89-105（2013）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{C.D.P.K.Ramli}等人，Lect。注释计算。科学。7844，89--105（2013；Zbl 1395.68084）
全文： 内政部 arXiv公司
埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿（James B.Lipton）。

表格寓言中的逻辑编程。 （英语） Zbl 1281.68079号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议录17，334-347，电子版（2012）。
MSC公司：68号30 68N20型 68N17号 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Gallego Arias}和\textit{J.B.Lipton}，LIPIcs——莱布尼茨国际程序。通知。17、334--347（2012；Zbl 1281.68079）
全文： 内政部
佐姆博里（Zsolt Zombori）;查诺斯，科索巴;佩特尔·塞雷迪

使用约束逻辑编程对Q语言进行静态类型推断。 （英语） Zbl 1281.68085号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，119-129，仅电子版（2012）。
MSC公司：68号30 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zombori}等人，LIPIcs——莱布尼茨国际程序。通知。17、119--129（2012；Zbl 1281.68085）
全文： 内政部
JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。;雷米·海默尔

模块化（逻辑）语言的模块化扩展。 （英语） Zbl 1377.68058号

维达尔·格曼（编辑），基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞，2011年7月18日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32210-5/pbk）。计算机科学课堂讲稿7225139-154（2012）。
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Morales}等人，Lect。注释计算。科学。7225，139--154（2012；Zbl 1377.68058）
全文： 内政部 链接
尤利亚·利勒;彼得·舒勒

在答案集编程中通过规划解析组合范畴文法。 （英语） Zbl 1357.68256号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，436-453（2012）。
MSC公司：68T50型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lierler}和\textit{P.Schüller}，Lect。注释计算。科学。7265，436--453（2012；Zbl 1357.68256）
全文： 内政部 arXiv公司
亚纳托多罗娃;迈克尔·盖尔芬德

旅游领域的问答。 （英语） Zbl 1357.68233号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，311-326（2012）。
MSC公司：68立方英尺 68N17号 68T27型 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Todorova}和\textit{M.Gelfond}，莱克特。注释计算。科学。7265、311--326（2012；Zbl 1357.68233）
全文： 内政部
吴，衡阳;陈一香

模糊命令式编程语言的（wlp）和（slp）的语义。 （英语） Zbl 1267.68092号

李寿梅（编辑）等，不确定性的非线性数学及其应用。2011年9月7日至9日，中国北京，NL-MUA2011国际会议记录。柏林：施普林格出版社（ISBN 978-3-642-22832-2/hbk；978-3-642-22833-9/ebook）。《智能与软计算进展》100，357-364（2011）。
MSC公司：68甲19 68N17号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wu}和\textit{Y.Chen}，高级情报官。软计算。100357--364（2011；Zbl 1267.68092）
全文： 内政部
沃尔特·威尔逊。

公理化语言的实现。 （英语） Zbl 1245.68059号

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，290-295，仅电子版（2011年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{W.W.Wilson}，LIPIcs——莱布尼茨国际程序。通知。11、290--295（2011；Zbl 1245.68059）
全文： 内政部 链接
罗伯特·科瓦尔斯基

计算逻辑和人类思维。如何成为人工智能。 （英语） Zbl 1230.68021号

剑桥：剑桥大学出版社（ISBN 978-0-521-19482-2/hbk；978-0-5.21-12336-5/pbk）。xxii，第310页。(2011).
审核人：曼努埃尔·布雷默（杜塞尔多夫）
MSC公司：68-02 68T27型 68T01型 03B70号 68立方英尺 68T50型 68T20型 68问题32 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{R.Kowalski}，计算逻辑与人类思维。如何成为人工智能。剑桥：剑桥大学出版社（2011；Zbl 1230.68021）
全文： 内政部
范·艾伊克（Jan van Eijck）;克里斯蒂娜·昂格

函数编程的计算语义。 （英语） Zbl 1305.68017号

剑桥：剑桥大学出版社（ISBN 978-0-521-76030-0/hbk；978-0-5.21-75760-7/pbk；978-1-511-77837-7/ebook）。十五、405页。(2010).
MSC公司：68-02 68T50型 03B65号 68甲18 91层20
PDF格式BibTeX公司 XML格式引用
\textit{J.vanEijck}和\textit{C.Unger}，函数编程的计算语义。剑桥：剑桥大学出版社（2010；Zbl 1305.68017）
全文： 内政部
希尔斯，马克

重写逻辑语义定义中的内存表示。 （英语） Zbl 1347.68196号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，155-172（2009）。
MSC公司：2012年第68季度 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Hills}，电子。注释Theor。计算。科学。238，第3号，155--172（2009；Zbl 1347.68196）
全文： 内政部
马塞洛·巴尔杜奇尼

在答案集编程中表示约束满足问题。 （英语） Zbl 1219.68083号

Faber，Wolfgang（编辑）等人，《研讨会论文集》。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。16-30 (2009).
MSC公司：68N17号 68号30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Balduccini}，in：研讨会记录。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。[s.l]，[s.n]。16-30（2009年；Zbl 1219.68083）
全文： 链接
马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔

基于模块的多语言约束建模框架。 （英语） 兹比尔1219.68087

Faber，Wolfgang（编辑）等人，《研讨会论文集》。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15 (2009).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Järvisalo}等人，in：研讨会记录。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15（2009年；Zbl 1219.68087）
全文： 链接
斯特芬·Hölldobler

逻辑和逻辑编程。第1卷：基础。（Logik und Logikprogrammierung.波段1:Grundlagen.） （德语） 兹比尔1190.68015

Kolleg Synchron公司。海德堡：Synchron Wissenschaftsverlag der Autoren（ISBN 978-3-935025-84-3/pbk）。x、 第342页。(2009).
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：68N17号 03-01 68-01 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Hölldobler}，Logik和Logikprogrammierung。第1组：格兰德拉根。海德堡：Synchron Wissenschaftsverlag der Autoren（2009；Zbl 1190.68015）
安德鲁·格雷布曼

一阶字符串演算中非限制文本的智能处理。 （英语） Zbl 1246.68209号

Gavrilova，Marina L.（编辑）等，《计算科学学报V》，认知知识表征专刊。柏林：施普林格出版社（ISBN 978-3-642-02096-4/pbk）。计算机科学课堂讲稿5540。《期刊副刊》，99-127（2009）。
MSC公司：68T27型 68N17号 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{A.Gleibman}，莱克特。注释计算。科学。5540，99-127（2009年；兹比尔1246.68209）
全文： 内政部
迈克尔·兰皮斯;基里亚科斯·吉尼斯（Kyriakos G.Ginis）。;Michalis A.Papakyriakou。;尼古拉斯·帕帕斯普鲁。

量子数据和控制变得更容易。 （英语） Zbl 1279.68035号

Peter Selinger（编辑），《第四届量子编程语言国际研讨会论文集》（QPL 2006），英国牛津，2006年7月17日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记210，85-105（2008）。
MSC公司：68甲15 68甲18 81页第10页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Lampis}等人，《电子》。注释Theor。计算。科学。210，85-105（2008年；兹bl 1279.68035）
全文： 内政部
斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺

ASP中资源消耗和生产的建模偏好。 （英语） Zbl 1226.68017号

Faber，Wolfgang（编辑）等人，《研讨会论文集》。ICLP 2008年答案集编程和其他计算范式研讨会（ASPOCP 2008），意大利乌迪内，Dcember 13，2008。[s.l]，[s.n]。31-45 (2008).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Costantini}和\textit{A.Formisano}，in：研讨会记录。ICLP 2008年答案集编程和其他计算范式研讨会（ASPOCP 2008），意大利乌迪内，Dcember 13，2008。[s.l]，[s.n]。31-45（2008；Zbl 1226.68017）
全文： 链接
翁贝托·斯特拉契亚

模糊描述逻辑程序。 （英语） Zbl 1171.68754号

Bouchon-Meunier，Bernadette（编辑）等人，《不确定性和智能信息系统》。根据2006年在法国巴黎举行的关于信息处理和不确定性管理的会议上的发言选出的论文。新泽西州哈肯萨克：世界科学（ISBN 978-981-279-234-1/hbk）。405-418 (2008).
MSC公司：68立方英尺 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{U.Straccia}，in：不确定性和智能信息系统。根据2006年在法国巴黎举行的关于信息处理和不确定性管理的会议上的发言选出的论文。新泽西州哈肯萨克：《世界科学》。405--418（2008年；Zbl 1171.68754）
J.Roger欣德利

基本的简单类型理论。带更正的平装版重印。 （英语） 兹比尔1135.03006

剑桥理论计算机科学丛书42.剑桥：剑桥大学出版社（ISBN 978-0-521-05422-5/pbk）。xii，186页。(2008).
审核人：Reinhard Kahle（科英布拉）
MSC公司：03B40型 03B70号 03B20型 68-01 03-01 03B15号机组 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\文本{J.R.Hindley}，基本简单类型理论。带更正的平装版重印。剑桥：剑桥大学出版社（2008；Zbl 1135.03006）
卡巴列罗，R。;加西亚·鲁伊斯，Y。

实现动态切入\（\mathcal{T} OY公司\). （英语） 兹比尔1279.68038

López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记177，153-168（2007）。
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Caballero}和\textit{Y.García-Ruiz}，电子。注释Theor。计算。科学。177153-168（2007年；Zbl 1279.68038）
全文： 内政部
希尔斯，马克;⑩erbénuţ\355 ;Ņene，Traian;格里高·罗什乌

用于语言定义和生成高效口译员的重写框架。 （英语） Zbl 1279.68116号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，第215-231页（2007年）。
MSC公司：2012年第68季度 03B70号 68甲15 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hills}等人，《电子》。注释Theor。计算。科学。176，第4号，215--231（2007；Zbl 1279.68116）
全文： 内政部
阿扎德法尔赞;何塞·梅塞盖尔

编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。
MSC公司：60年第68季度 68甲15 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Farzan}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207）
全文： 内政部
范·列文（A.J.van Leeuwen）。

通过组合扩展构建验证条件生成器。 （英语） Zbl 1277.68062号

Romijn，Judi（ed.）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，73-83（2007）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.J.van Leeuwen}，电子。注释Theor。计算。科学。191、73--83（2007年；Zbl 1277.68062）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件