×

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

最新的 引文 关联
Dov Gabbay公司

广义Chisholm反责任义务集合的时间义务逻辑。 （英语） Zbl 1297.03013号

托马斯·奥戈特斯（编辑）等人，《计算机科学中的道义逻辑》。2012年7月16日至18日，挪威卑尔根，第11届国际会议，DEON 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31569-5/pbk）。计算机科学课堂讲稿7393。《人工智能课堂讲稿》，91-107（2012）。
MSC公司：03B45号 93B25型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Gabbay}，莱克特。注释计算。科学。7393，91-107（2012；Zbl 1297.03013）
全文： 内政部 链接
霍华德·巴林格;Dov M.加巴伊。

模态和时间论证网络。 （英语） Zbl 1288.68205号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，1-25（2010）。
MSC公司：68T27型 03B44号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}和\textit{D.M.Gabbay}，莱克特。注释计算。科学。6200，1--25（2010；Zbl 1288.68205）
全文： 内政部 链接
霍华德·巴林格;Dov Gabbay公司;约翰·伍兹

网络模式：一份探索性文件。 （英语） 兹比尔1269.03024

Gross，Gaston（编辑）等人，《语言学、计算机科学和语言处理》。在弗兰兹·根特纳60岁生日之际，为他庆祝节日。伦敦：学院出版物（ISBN 978-1-904987-80-2/pbk）。《致敬》6，79-101（2008）。
MSC公司：03B45号 03B44号 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}等人，《致敬》6，79-101（2008；Zbl 1269.03024）
D.M.加巴伊。;A.库鲁茨。;F.沃尔特。;Zakharyaschev，M。

多维模态逻辑：理论与应用。 （英语） Zbl 1051.03001号

逻辑与数学基础研究148.阿姆斯特丹：爱思唯尔（ISBN 0-444-50826-0/hbk）。十八、747页。(2003).
审核人：Max A.Freund（墨西哥D.F.）
MSC公司：03-02 03B45号 03B70号 03B42号 03B44号 03B20型 03B25号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，《多维模态逻辑：理论与应用》。阿姆斯特丹：Elsevier（2003；Zbl 1051.03001）
Dov M.加巴伊。（编辑）;F.根特纳。（编辑）

哲学逻辑手册。第7卷。第2版。 （英语） Zbl 1065.03003号

哲学逻辑手册7.多德雷赫特：Kluwer学术出版社（ISBN 1-4020-0599-7/hbk）。xiii，350页。(2002).
审核人：齐格弗里德·戈特瓦尔德（莱比锡）
MSC公司：03月00日 03A05号 03B44号 03B45号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）和textit{F.Guenthner}（主编），《哲学逻辑手册》。第7卷。第二版，多德雷赫特：Kluwer学术出版社（2002；Zbl 1065.03003）
Dov M.加巴伊。;马克·雷诺兹（Mark A.Reynolds）。;马塞洛·芬格

时间逻辑。第2卷。数学基础和计算方面。 （英语） Zbl 1014.03006号

牛津逻辑指南. 40. 纽约州纽约市：牛津大学出版社。xiv，597页（2000年）。
MSC公司：03-02 03B44号 03B70号 65年第68季度 第68季度第60季度 68T27型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第2卷。数学基础和计算方面。纽约州纽约市：牛津大学出版社（2000；Zbl 1014.03006）
霍华德·巴林格（编辑）;迈克尔·费希尔（编辑）;Dov Gabbay公司（编辑）;格雷厄姆·高夫（编辑）

时间逻辑的进展。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。 （英语） Zbl 0931.00025

应用逻辑系列. 16. 多德雷赫特：Kluwer学术出版社。ix，453页（2000年）。
MSC公司：00B25型 03-06 68-06 03B45号 68T27型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}（编辑）等人，《时序逻辑的进展》。第二届时间逻辑国际会议论文选集，ICTL，英国曼彻斯特，1997年。多德雷赫特：Kluwer学术出版社（2000年；Zbl 0931.00025）
Dov Gabbay公司;伊恩·霍德金森

数据库上下文中的时态逻辑。 （英语） Zbl 0919.03018号

Copeland，B.J.（编辑），《逻辑与现实：关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。69-87（1996）中所述。
审核人：S.H.Lee（首尔）
MSC公司：03B45号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Gabbay}和\textit{I.Hodkinson}，收录于：逻辑与现实：亚瑟·普赖尔遗产论文。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。69-87（1996年；Zbl 0919.03018）
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑）

人工智能和逻辑编程逻辑手册。第四卷：认识论和时间推理。 （英语） Zbl 0819.03010号

牛津：克拉伦登出版社。xvi，第611页（1995年）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：03B45号 68T27型 03-06 68-06 03B60号 68-00 03-00 00B15号机组 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第四卷：认识论和时间推理。牛津：克拉伦登出版社（1995；Zbl 0819.03010）
Dov M.加巴伊。;伊恩·霍德金森;马克·雷诺兹

时间逻辑。第1卷。数学基础和计算方面。 （英语） Zbl 0921.03023号

牛津逻辑指南. 28. 牛津：克拉伦登出版社。xiv，653页（1994年）。
审核人：Neculai Curteanu（MR 95h:03040）
MSC公司：03B45号 03-02 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第1卷。数学基础和计算方面。牛津：克拉伦登出版社（1994；Zbl 0921.03023）
Dov M.加巴伊。（编辑）;汉斯·奥巴赫（Hans J.Ohlbach）。（编辑）

时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 （英语） 兹比尔0875.003007

计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xi，546 p.104.00马克；öS 811.20；sFr 104.00/sc（1994年）。
MSC公司：03-06 68-06 00B25型 03B45号 68T27型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）和textit{H.J.Ohlbach}（主编），时间逻辑。1994年7月11-14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：施普林格（1994；Zbl 0875.03007）
全文： 内政部
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑）;J.西克曼。（编辑）

人工智能和逻辑编程逻辑手册。第2卷：扣除方法。 （英语） Zbl 0810.68005号

牛津：克拉伦登出版社。xv，511 p.£55.00/hc（1994）。
审核人：J.Šajda（布拉迪斯拉发）
MSC公司：68-00 03-00 03B80号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第2卷：扣除方法。牛津：克拉伦登出版社（1994；Zbl 0810.68005）
D.M.加巴伊。;I.M.霍德金森。;Reynolds，文学硕士。

存在间隙时的时间表达完整性。 （英语） Zbl 0802.03016号

Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至7月22日在芬兰赫尔辛基举行的ASL夏季会议。柏林：Springer-Verlag。莱克特。注释日志。2, 89-121 (1993).
审核人：V.V.Rybakov（克拉斯诺亚尔斯克）
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，Lect。注释日志。2、89——121（1993；Zbl 0802.03016）
霍华德·巴林格;Dov Gabbay公司

势在必行的未来：过去的成功\（向右箭头\）未来的行动。 （英语） Zbl 0755.03010号

计算机科学逻辑，Proc。研讨会，伯克利/加利福尼亚州（美国）1989年，出版。，数学。科学。Res.Inst.21，1-16（1992）。
审核人：R.S.卢巴斯基（兰卡斯特）
MSC公司：03B70号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}和\textit{D.Gabbay}，in：计算机科学的逻辑。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。1-16（1992年；Zbl 0755.03010）
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第2卷：背景：计算结构。 （英语） Zbl 0777.68001号

人工智能和逻辑编程。牛津：克拉伦登出版社。十、 第571页（1992年）。
审核人：R.S.Lubarsky（兰卡斯特）
MSC公司：68-00 2012年第68季度 03年3月 03B40型 68吨15 03B70号 03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第2卷：背景：计算结构。牛津：克拉伦登出版社（1992；Zbl 0777.68001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件