×

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

最新的 引文 关联
奇诺维·迪斯金；阿利亚克巴尔·萨菲连；汤姆·迈鲍姆；肖姆·本·达维德

使用克里普克结构和模态逻辑对产品线进行建模。 （英语） Zbl 1471.68059号

Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9399, 184-202 (2015).
MSC公司：68号30 03B44号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Diskin}等人，Lect。注释计算。科学。9399、184--202（2015；Zbl 1471.68059）
全文： 内政部
拉米罗·德马西；巴勃罗·卡斯特罗。；托马斯·S·E·迈鲍姆。；纳扎雷诺·阿吉雷

根据道义规范合成屏蔽容错系统。 （英语） Zbl 1410.68220号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 163-177 (2013).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Demasi}等人，Lect。注释计算。科学。8172163--177（2013；Zbl 1410.68220）
全文： 内政部
巴勃罗·卡斯特罗。；迈鲍姆，T.S.E。

完整而紧凑的命题道义逻辑。 （英语） 兹比尔1143.03343

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，109-123（2007）。
MSC公司：03B70号 03B44号 03B45号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。4711、109--123（2007年；Zbl 1143.03343）
全文： 内政部
纳扎雷诺·阿吉雷；汤姆·迈鲍姆

基于组件的系统动态重构的时序推理的一些制度要求。 （英语） Zbl 1274.03031号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772407-435（2003）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Aguirre}和\textit{T.Maibaum}，莱克特。注释计算。科学。2772407--435（2003年；Zbl 1274.03031）
全文： 内政部
卡洛斯·杜阿尔特（Carlos H.C.Duarte）。；汤姆·迈鲍姆

用于开放分布式系统开发的分支时间逻辑系统。 （英语） Zbl 1261.03082号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，巴西里约热内卢，里约热内卢天主教大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，184-203（2002）。
MSC公司：03B44号 64岁以下 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.H.C.Duarte}和\textit{T.Maibaum}，电子。注释Theor。计算。科学。67、184--203（2002年；Zbl 1261.03082）
全文： 内政部
费亚迪罗，J.L。；T·迈鲍姆。

对象时序逻辑中的动作细化。 （英语） 兹比尔0949.68539

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 48-66 (1994).
MSC公司：60年第68季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Fiadeiro}和\textit{T.Maibaum}，莱克特。注释计算。科学。827、48-66（1994年；Zbl 0949.68539）
艾布拉姆斯基，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名

出版年份

主字段

软件