×

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

最新的 引文 关联
卢卡·盖蒂；尼古拉·吉甘特；Angelo蒙塔纳里

基于SAT的LTL单程树形表系统编码。 （英语） Zbl 1435.68368号

Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 3-20 (2019).
MSC公司：68伏15 03B44号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，Lect。注释计算。科学。11714，3--20（2019；Zbl 1435.68368）
全文： 内政部 链接
约翰·G·斯特尔。；雷娜特·施密特（Renate A.Schmidt）。；大卫·赖德海尔

双教学模式逻辑：基础和自动化。 （英语） Zbl 1359.03018号

J.日志。阿尔盖布。方法计划。 85，第4号，500-519（2016）.
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B44号 03B45号 03B35型 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Stell}等人，J.Log。阿尔盖布。方法计划。85，No.4，500--519（2016；Zbl 1359.03018）
全文： 内政部
Hidenori Kurokawa

证明逻辑和可证明性的前缀表系统。 （英语） Zbl 1401.03101号

Galmiche，Didier（编辑）等人，《使用分析表和相关方法的自动推理》。第22届国际会议，TABLEUX 2013，法国南希，2013年9月16日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。《人工智能课堂讲稿》，203-218（2013）。
MSC公司：03层45 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{H.Kurokawa}，莱克特。注释计算。科学。8123203--218（2013；Zbl 1401.03101）
全文： 内政部
弗朗索瓦州施瓦岑特鲁伯

LotrecScheme。 （英语） Zbl 1347.68306号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》278187-199（2011）。
MSC公司：68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Schwarzentruber}，电子。注释Theor。计算。科学。278187-199（2011年；Zbl 1347.68306）
全文： 内政部
彼得罗·阿巴特；拉杰夫·戈雷

Tableau工作台。 （英语） Zbl 1347.68297号

Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，55-67（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{P.Abate}和\textit{R.Goré}，电子。注释Theor。计算。科学。231、55-67（2009年；Zbl 1347.68297）
全文： 内政部
艾伦娜·阿塔纳索娃

自动谓词逻辑有效性证明的演绎过程。 （英语） 兹伯利1114.68531

Pipervski，Boro（编辑）等人，马其顿第二届数学家和计算机科学家大会。2000年9月28日至10月1日，马其顿奥赫里德，国会议事录。斯科普里：Sojuz na Matematicharite i Informaticharite na Makedonija。137-144 (2003).
审核人：佐兰·佩特里奇（贝尔格莱德）
MSC公司：68吨15 03F99型
PDF格式BibTeX公司 XML格式引用
\textit{I.Atanasova}，in：Vtor kongres na matematicharite I informaticharite na Makedonija。斯科普里：Sojuz na Matematicharite i Informaticharite na Makedonija。137——144（2003年；Zbl 1114.68531）
青岛县，竹野武；直纪延崎

一种有效的基于表格的无功系统规范部分评估验证方法。 （英语） Zbl 1004.68095号

Jaakkola，Hannu（编辑）等人，《信息建模和知识库》。第12卷。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。67, 363-374 (2001).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.青岛}和\textit{N.延崎}，前面。Artif公司。智力。申请。67、363--374（2001年；Zbl 1004.68095）
赫莱梅德尼克，R.V。

线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 （俄语。英文摘要） Zbl 1032.03510号

维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，176-191（2000）.
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.V.Khelemednik}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1期，176--191（2000；Zbl 1032.03510）
塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶

有限帧上命题线性时间逻辑的标签表。 （英语） Zbl 0966.03018号

Basin，David（编辑）等人，标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。17, 135-159 (2000).
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cerrito}和\textit{M.Cialdea Mayer}，应用。日志。序列号。17、135——159（2000；Zbl 0966.03018）
圭多州长；亚历山德罗·卢皮

非正常模态逻辑的标签表。 （英语） Zbl 0961.03016号

Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1792, 119-130 (2000).
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛G.Governatori｝和\textit｛A.Luppi｝，Lect。注释计算。科学。1792、119--130（2000年；Zbl 0961.03016）
基亚拉·吉迪尼

建模（非）有界信念。 （英语） Zbl 0943.03014号

Bouquet，Paolo（编辑）等人，《建模和使用上下文》。第二届国际和跨学科会议，CONTEXT’99，意大利特伦托，1999年9月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1688, 145-158 (1999).
MSC公司：03B42号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Ghidini}，莱克特。注释计算。科学。1688145-158（1999；Zbl 0943.03014）
Dov M.加巴伊。；圭多州长

处理标签依赖的道义模式。 （英语） Zbl 0940.03023号

McNamara，P.（编辑）等人，《规范、逻辑和信息系统》。道义逻辑和计算机科学的新研究。1998年1月8日至10日，意大利博洛尼亚，第四次EON研讨会论文选集。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。49, 311-330 (1999).
MSC公司：03B45号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}和\textit{G.Governatori}，前面。Artif公司。智力。申请。49、311--330（1999；Zbl 0940.03023）
詹姆斯·考德威尔

提取直觉主义画面。 （英语） Zbl 0932.03008号

Murray，Neil V.（编辑），使用分析表和相关方法进行自动推理。1999年6月7日至11日，美国纽约州萨拉托加斯普林斯，1999年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1617, 82-96 (1999).
MSC公司：03B35型 68吨15 03B20型 03B25号
PDF格式BibTeX公司 XML格式引用
\文本｛J.Caldwell｝，Lect。注释计算。科学。1617，82-96（1999；Zbl 0932.03008）
佐哈尔·曼纳；理查德·沃尔丁格

计算机编程的演绎基础。（《计算机编程的逻辑基础》一卷本）。 （英语） Zbl 0846.68013号

马萨诸塞州雷丁：Addison-Wesley。xiv，717 p.（1993）。
审核人：U.Hahn（荷兰弗赖堡）
MSC公司：68号01 68-01 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Manna}和\textit{R.Waldinger}，计算机编程的演绎基础。（《计算机编程的逻辑基础》的1卷版本。）。马萨诸塞州雷丁：Addison-Wesley（1993；Zbl 0846.68013）
埃尔曼诺·本西文加；卡雷尔·兰伯特；范·弗雷森（Bas C.van Fraassen）。

逻辑、二价和外延。2.编辑。 （英语） 兹比尔0777.03001

加利福尼亚州阿塔斯卡德罗：Ridgeview Publishing Co.x，203 p.（1991）。
审核人：O.Sonobe（福洛妮卡）
MSC公司：03-01 03A05号 03B60号 03B05号 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{E.Bencivenga}等人，《逻辑，二价和外延》。2.ed.Atascadero，CA：Ridgeview Publishing Co.（1991；Zbl 0777.03001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件