×

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

最新的 引文 关联
来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森

形式化混合逻辑的塞利格曼式表格系统（短文）。 （英语） Zbl 07614529号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 474-481 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}等人，Lect。注释计算。科学。12166474--481（2020；Zbl 07614529）
全文： 内政部
帕特里克·布莱克本（编辑）;埃米利亚诺·洛里尼（编辑）;郭美云（编辑）

逻辑、理性和互动。2019年LORI第七届国际研讨会，中国重庆，2019年10月18-21日。诉讼程序。 （英语） Zbl 1425.68005号

计算机科学课堂讲稿11813.柏林：施普林格出版社（ISBN 978-3-662-60291-1/pbk；978-3-562-60292-8/电子书）。第二十一章，第441页。(2019).
MSC公司：68-06 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}（编辑）等人，《逻辑、理性与互动》。2019年LORI第七届国际研讨会，中国重庆，2019年10月18-21日。诉讼程序。柏林：施普林格（2019；Zbl 1425.68005）
全文： 内政部
德米特里·苏斯特列托夫;纪尧姆·霍夫曼;卡洛斯·阿雷塞斯;帕特里克·布莱克本

拓扑混合逻辑的定理证明实验。 （英语） Zbl 1347.68308号

Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，309-321（2009）。
MSC公司：68吨15 03B45号 03B62号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Sustretov｝等人，电子。注释Theor。计算。科学。231309-321（2009年；兹bl 1347.68308）
全文： 内政部
帕特里克·布莱克本（编辑）;托马斯·博兰德（编辑）;托本·布吕纳（编辑）;瓦莱里亚·德·佩瓦（编辑）;约根·维拉德森（编辑）

混合逻辑国际研讨会论文集（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。 （英语） 兹比尔1273.68016

理论计算机科学电子笔记174，第6号。阿姆斯特丹：爱思唯尔。148页。，仅电子版（2007年）。
MSC公司：68-06 03-06 03B45号 03B70号 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}（ed.）等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68016）
全文： 链接
帕特里克·布莱克本;约翰·博斯;克里斯蒂娜·斯特里格尼茨

立即学习Prolog！海尔·马努利安译。（Prolog，toute de suite！Traduit par Hélène Manuélian。） （法语） Zbl 1209.68079号

Logique et d’epistémologie餐厅1.伦敦：学院出版物（ISBN 978-1-904987-52-9）。xix，第283页。(2007).
MSC公司：68甲15 68N17号 68-01
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Prolog，toute de suite！特拉杜伊特·帕尔·赫莱恩·马努利安（Traduit par Hélène Manuélian）。伦敦：学院出版物（2007年；Zbl 1209.68079）
洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克

有序树的PDL。 （英语） Zbl 1185.03056号

J.应用。非类别。日志。 15，第2期，115-135（2005）.
MSC公司：03B70号 03B45号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Afanasiev}等人，J.Appl。非类别。日志。15，第2号，115--135（2005；Zbl 1185.03056）
全文： 内政部
帕特里克·布莱克本（编辑）;吉迪尼，奇亚拉（编辑）;罗伊·M·特纳。（编辑）;福斯托·金奇利亚（编辑）

建模和使用上下文。第四届国际和跨学科会议，CONTEXT 2003，斯坦福，加利福尼亚州，美国，2003年6月23日至25日。诉讼程序。 （英语） Zbl 1049.68002号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 3-540-40380-9/pbk）。xii，第525页。(2003).
MSC公司：68-06 00B25型 68T50型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}（编辑）等人，《建模和使用上下文》。第四届国际和跨学科会议，CONTEXT 2003，斯坦福，加利福尼亚州，美国，2003年6月23-25日。诉讼程序。柏林：施普林格出版社（2003；Zbl 1049.68002）
帕特里克·布莱克本;马尔滕·马克思

表aux用于量化混合逻辑。 （英语） Zbl 1015.03014号

Egly，Uwe（ed.）等人，《使用分析表和相关方法的自动推理》。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2381, 38-52 (2002).
MSC公司：03B35型 03B45号 68吨15 07年3月
PDF格式BibTeX公司 XML格式引用
\textit｛P.Blackburn｝和\textit｛M.Marx｝，Lect。注释计算。科学。2381,38--52（2002；Zbl 1015.03014）
全文： 链接
帕特里克·布莱克本;贾普·坎普;马尔滕·马克思

作为混合逻辑的情境演算：第一步。 （英语） Zbl 1053.68692号

Braddil，Pavel（编辑）等人，《人工智能的进展》。知识提取、多智能体系统、逻辑编程和约束求解。2001年12月17日至20日，葡萄牙波尔图，第十届葡萄牙会议，EPIA 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43030-X）。莱克特。注释计算。科学。2258, 253-260 (2001).
MSC公司：68T27型 03B44型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Lect。注释计算。科学。2258253-260（2001年；Zbl 1053.68692）
全文： 链接
劳伦斯·卡文登（编辑）;帕特里克·布莱克本（编辑）;尼克·布雷斯比（编辑）;Atsuchi岛岛岛（编辑）

逻辑、语言和计算。第3卷。1998年6月16日至19日，第三届逻辑、语言和计算信息理论方法国际会议（ITALC）会议记录。 （英语） Zbl 0977.00020号

CSLI课堂讲稿. 111. 加利福尼亚州斯坦福：CSLI出版物。十六、第340页（2000年）。
MSC公司：00B25型 03-06 68-06
PDF格式BibTeX公司 XML格式引用
\textit{L.Cavedon}（编辑）等人，《逻辑、语言和计算》。第3卷。1998年6月16日至19日，第三届逻辑、语言和计算信息理论方法国际会议（ITALC）会议记录。加利福尼亚州斯坦福：CSLI出版物（2000年；Zbl 0977.00020）
帕特里克·布莱克本;马克·戴米特曼;阿兰·勒科姆;阿恩·兰塔;克里斯蒂安·雷托雷;埃里克·维尔蒙特·德拉克莱格里（Eric Villemonte de la Clergerie）

计算语言学的逻辑方面：导论。 （英语） Zbl 0885.03027号

克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。1996年9月23日至25日在法国南希举行的1996年LACL第一届国际会议。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1328, 1-20 (1997).
MSC公司：03B65号 68T50型 03-02 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Lect。注释计算。科学。1328，1--20（1997；Zbl 0885.03027）
帕特里克·布莱克本;马尔滕·德·里杰克

组合结构的逻辑方面。 （英语） Zbl 0860.03026号

Seligman，Jerry（编辑）等人，《逻辑、语言和计算》。第1卷。面向信息的逻辑、语言和计算方法会议记录，美国加利福尼亚州莫拉加，1994年6月12日至15日。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。CSLI法律。笔记。58, 65-76 (1996).
MSC公司：03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}和\textit{M.de Rijke}，in：逻辑、语言和计算。第1卷。面向信息的逻辑、语言和计算方法会议记录，美国加利福尼亚州莫拉加，1994年6月12-15日。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。65-76（1996；Zbl 0860.03026）
P.布莱克本。;加登，C。;de Rijke，M。

在时间和事件中来回穿梭。 （英语） Zbl 0949.03508号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 225-237 (1994).
MSC公司：03B44型 03B65号 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Lect。注释计算。科学。827225-237（1994年；兹bl 0949.03508）
帕特里克·布莱克本

模态逻辑和属性值结构。 （英语） Zbl 0854.03017号

Rijke，Maarten de（编辑），《钻石与默认值》。纯内涵逻辑和应用内涵逻辑的研究。1990年9月至1991年5月在荷兰阿姆斯特丹大学举行的内涵逻辑研讨会上提交的论文。多德雷赫特：Kluwer学术出版社。合成。天秤座。229, 19-65 (1993).
审核人：V.Shekhtman（莫斯科）
MSC公司：03B45号 03B65号 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{P.布莱克本}，Synth。伦敦银行同业拆借利率。229、19-65（1993；Zbl 0854.03017）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件