×

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

最新的 引文 关联
理查德·威廉姆斯;鲍里斯·科涅夫

命题时间证明与SAT问题的约简。 （英语） Zbl 1381.68277号

Bonacina，Maria Paola（编辑），自动扣款–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，421-435（2013）。
MSC公司：68吨15 03B35型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Williams}和\textit{B.Konev}，莱克特。注释计算。科学。7898、421--435（2013年；Zbl 1381.68277）
全文： 内政部
克莱尔·狄克逊;迈克尔·费希尔;鲍里斯·科涅夫

控制时间认知推理的复杂性。 （英语） Zbl 1193.03052号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。2009年9月16日至18日，意大利特伦托，第七届国际研讨会，FroCoS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。《人工智能课堂讲稿》，198-213（2009）。
MSC公司：03B62号 03B42号 03B44号 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Dixon｝等人，Lect。注释计算。科学。5749198--213（2009年；Zbl 1193.03052）
全文： 内政部
迈克尔·费希尔;鲍里斯·科涅夫;阿列克谢·利西萨

容错协议的时间验证。 （英语） Zbl 1234.68255号

Michael Butler（编辑）等人，容错方法、模型和工具。柏林：施普林格出版社（ISBN 978-3-642-00866-5/pbk）。计算机科学课堂讲稿5454，44-56（2009）。
MSC公司：60年第68季度 03B44号 68米15 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fisher}等人，Lect。注释计算。科学。5454、44-56（2009年；Zbl 1234.68255）
全文： 内政部
克莱尔·狄克逊;迈克尔·费希尔;鲍里斯·科涅夫

具有容量限制的时序逻辑。 （英语） Zbl 1148.03311号

Konev，Boris（编辑）等人，《组合系统的前沿》。第六届国际研讨会，FroCoS 2007，英国利物浦，2007年9月10日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74620-1/pbk）。计算机科学课堂讲稿4720。人工智能课堂讲稿，163-177（2007）。
MSC公司：03B44号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，Lect。注释计算。科学。4720，163--177（2007；Zbl 1148.03311）
全文： 内政部
科涅夫，B。;R.孔查科夫。;F.沃尔特。;Zakharyaschev，M。

连续函数空间上的动态拓扑逻辑。 （英语） 兹比尔1148.03018

Governatori，Guido（编辑）等人，《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物（ISBN 1-904987-20-6/pbk）。299-318 (2006).
MSC公司：03B45号 03B44号 54时20分
PDF格式BibTeX公司 XML格式引用
\textit{B.Konev}等人，in：模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物。299--318（2006；Zbl 1148.03018）
乌尔里希·赫斯塔特;鲍里斯·科涅夫;雷娜特·施密特（Renate A.Schmidt）。

通过时间分辨率决定单音片段。 （英语） Zbl 1135.03332号

Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。《人工智能课堂讲稿》，204-218（2005）。
MSC公司：03B44号 03B25号 03B35型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Hustadt}等人，Lect。注释计算。科学。3632、204--218（2005年；Zbl 1135.03332）
全文： 内政部
鲍里斯·科涅夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫

传递状态上的时间逻辑。 （英语） Zbl 1135.03333号

Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，182-203（2005）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Konev}等人，Lect。注释计算。科学。3632、182--203（2005年；Zbl 1135.03333）
全文： 内政部
乌尔里希·赫斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫

TeMP：一个时态单数证明。 （英语） Zbl 1126.68568号

Basin，David（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。《人工智能讲义》，326-330（2004）。
MSC公司：68吨15 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{U.Hustadt}等人，Lect。注释计算。科学。3097326-330（2004年；Zbl 1126.68568）
全文： 内政部
阿纳托利·德吉亚列夫;迈克尔·费希尔;鲍里斯·科涅夫

单声道时间分辨率。 （英语） Zbl 1272.03090号

Franz Baader（编辑），《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40559-3/pbk）。莱克特。注释计算。科学。2741, 397-411 (2003).
MSC公司：03B44号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Degtyarev}等人，Lect。注释计算。科学。2741397--411（2003年；Zbl 1272.03090）
全文： 内政部
鲍里斯·科涅夫;阿纳托利·德吉亚列夫;迈克尔·费希尔

在一元时间分辨率中处理相等性。 （英语） Zbl 1273.03062号

Vardi，Moshe Y.（编辑）等人，《编程逻辑、人工智能和推理》。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。莱克特。注释计算。科学。2850, 214-228 (2003).
MSC公司：03B44号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{B.Konev}等人，Lect。注释计算。科学。2850、214--228（2003年；Zbl 1273.03062）
阿纳托利·德吉亚列夫;迈克尔·费希尔;鲍里斯·科涅夫

命题线性时间-时间逻辑的一个简化子句解析过程。 （英语） Zbl 1015.03015号

Egly，Uwe（ed.）等人，《使用分析表和相关方法的自动推理》。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2381, 85-99 (2002).
MSC公司：03B35型 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Degtyarev}等人，Lect。注释计算。科学。2381,85-99（2002；Zbl 1015.03015）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件