×

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

最新的 引文 关联
菲利普·巴尔比亚尼

关于无界密集线性序词典编纂产品的时间逻辑：对其可计算性的新研究。 （英语） Zbl 1484.03030号

Ju，Shier（编辑）等，非经典逻辑及其应用。2016年12月5日至9日，第八届逻辑与认知国际研讨会，WOLC 2016，中国广州。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，67-83 (2020).
MSC公司：03B44号 06年05月 03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}，in：非经典逻辑及其应用。2016年第八届逻辑与认知国际研讨会（WOLC 2016）后传，中国广州，2016年12月5-9日。新加坡：斯普林格。67-83（2020年；Zbl 1484.03030）
全文： DOI程序 哈尔
克里斯蒂安·赫尔曼；Tsukamoto，Yasuyuki；马丁·齐格勒

关于模格及其相关结构的一致性问题。 （英语） Zbl 1373.06006号

国际代数计算杂志。 26，第8号，1573-1595（2016）.
审核人：朱尼斯·切鲁利斯（里加）
MSC公司：06C05号机组 08A50号 03B25号 03G15年 15A75号 2016年05月
PDF格式BibTeX公司 XML格式引用
\textit{C.Herrmann}等人，《国际代数计算》。26，第8号，1573--1595（2016；Zbl 1373.06006）
全文： DOI程序 arXiv公司
Mike Behrisch先生；米基·赫尔曼；斯特凡·门格尔；格诺·萨尔泽

下一家威士忌酒吧。 （英语） Zbl 1475.68136号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日，在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 41-56 (2016).
MSC公司：65年第68季度 06E30年 68兰特 2017年第68季度 90C60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Behrisch}等人，Lect。注释计算。科学。9691，41-56（2016；Zbl 1475.68136）
全文： DOI程序
杰奎琳·戴金。；米尔卡·米勒；莱恩，乔

时间推理的趋势：约束、图和偏序集。 （英语） Zbl 1460.68100号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。第六届国际会议，MACIS 2015，德国柏林，2015年11月11日至13日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9582, 290-304 (2016).
MSC公司：68T27型 06A07年 68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.W.Daykin}等人，Lect。注释计算。科学。9582290--304（2016年；Zbl 1460.68100）
全文： DOI程序
安托万·金特里尼；塞西尔·梅勒

随机布尔树的等价类及其在加泰罗尼亚可满足性问题中的应用。 （英语） Zbl 1351.68191号

Pardo，Alberto（编辑）等人，拉丁语2014：理论信息学。第十一届拉丁美洲研讨会，乌拉圭蒙得维的亚，2014年3月31日至4月4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54422-4/pbk）。计算机科学课堂讲稿8392466-477（2014）。
MSC公司：68卢比 05二氧化碳 05C80号 06E30年 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Genitrini}和\textit{C.Mailler}，莱克特。注释计算。科学。8392、466--477（2014年；Zbl 1351.68191）
全文： DOI程序
维杰·德·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁

抽象冲突驱动学习。 （英语） Zbl 1301.68156号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-1832-7）。143-154 (2013).
MSC公司：65年第68季度 06B99号 68号30 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。143--154（2013；Zbl 1301.68156）
全文： DOI程序
波采列夫斯卡娅，E.A。

布尔函数对Schaefer类的逼近。 （英语。俄文原件） Zbl 1256.68085号

数学杂志。科学。，纽约 183，第3期，407-412（2012）; 翻译自Fundam。普里克尔。材料16，第7号，197-204（2010）。
MSC公司：65年第68季度 05年3月 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Potseluevskaya}，J.数学。科学。，纽约183，No.3，407--412（2012；Zbl 1256.68085）；翻译自Fundam。普里克尔。材料16，编号7，197--204（2010）
全文： DOI程序
大亚·拉姆·戈尔；拉梅什·克里希纳穆提

单调布尔函数的平均情况自对偶。 （英语） Zbl 1116.68597号

Tawfik，Ahmed Y.（编辑）等，《人工智能进展》。2004年5月17日至19日在加拿大安大略省伦敦举行的加拿大智能计算研究学会第17届会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22004-6/pbk）。计算机科学课程讲稿3060。人工智能课堂讲稿，322-338（2004）。
MSC公司：68立方英尺 06E30年 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Gaur}和\textit{R.Krishnamurti}，莱克托。注释计算。科学。3060、322--338（2004年；Zbl 1116.68597）
全文： DOI程序
汉斯·克莱恩·勃宁；赵西顺

关于量化布尔公式的模型。 （英语） Zbl 1099.68056号

沃尔夫冈·伦斯基（编辑），《逻辑与近似》。在迈克尔·M·里希特65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-22562-5/pbk）。计算机科学课堂讲稿3075，18-32（2004）。
MSC公司：60年第68季度 65年第68季度 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{H.Kleine Büning}和\textit{X.Zhao}，Lect。注释计算。科学。3075、18-32（2004年；Zbl 1099.68056）
全文： DOI程序
斯特芬·里思

关于命题演算中某些等价问题的复杂性。 （英语） Zbl 1124.68375号

Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 632-641 (2003).
MSC公司：65年第68季度 03B05号 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{S.Reith}，莱克特。注释计算。科学。2747632--641（2003年；Zbl 1124.68375）
全文： DOI程序
雷纳·哈内尔

多值逻辑的复杂性。 （英语） Zbl 1046.03012号

Fitting，Melvin（编辑）等人，《超越二：多值逻辑的理论和应用》。海德堡：Physica Verlag（国际标准图书编号3-7908-1541-1/pbk）。模糊软计算研究。114, 211-233 (2003).
审核人：丹尼尔·蒙迪奇（费伦泽）
MSC公司：03B50号 20层03 2017年第68季度 2015年3月1日 03D40号 05年6月 03-02
PDF格式BibTeX公司 XML格式引用
\textit{R.Hähnle}，Stud.模糊性软计算。114211-233（2003；Zbl 1046.03012）
托诺扬，G.P。

特殊类布尔方程组可满足性的复杂性估计。 （英语） Zbl 1029.06009号

代数、几何及其应用。亚美尼亚埃里温埃里温国立大学研讨会记录。2002年第2卷。埃里温：埃里温州立大学出版社。19-25 (2002).
MSC公司：06E30年 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.P.Tonoyan}，in：代数、几何及其应用。亚美尼亚埃里温埃里温国立大学研讨会记录。2002年第2卷。埃里温：埃里温州立大学出版社。19-25（2002年；Zbl 1029.06009）
约翰·V·佛朗哥。（编辑）；乔戈·加洛（编辑）；汉斯·克莱恩·勃宁（编辑）；埃瓦尔德·斯佩肯迈耶（编辑）；恩德雷·博罗斯（编辑）；彼得·哈默。（编辑）

可满足性问题；布尔函数。关于可满足性问题（第1-244页）和布尔函数（第245-479页）的特刊。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。 （英语） Zbl 0936.00029号

离散数学专题. 10. 阿姆斯特丹：爱思唯尔。482页（1999年）。
MSC公司：00B25型 03-06 06-06
PDF格式BibTeX公司 XML格式引用
\textit{J.V.Franco}（编辑）等，可满足性问题；布尔函数。关于可满足性问题的特刊（第1-244页）和布尔函数（第245-479页）。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。阿姆斯特丹：Elsevier（1999；Zbl 0936.00029）
约翰·V·佛朗哥。（编辑）；乔治·加洛（编辑）；汉斯·克莱恩·勃宁（编辑）；埃瓦尔德·斯佩肯迈耶（编辑）；恩德雷·博罗斯（编辑）；彼得·哈默。（编辑）

关于可满足性问题的特刊（第1-244页），包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文和布尔函数（第245-479页）。 （英语） Zbl 0935.00027号

离散应用程序。数学。 96-97482页（1999年）.
MSC公司：00B25型 03-06 06-06
PDF格式BibTeX公司 XML格式引用
\textit{J.V.Franco}（编辑）等人，《离散应用》。数学。96-97482页（1999年；Zbl 0935.00027）
全文： DOI程序
维奥里卡Sofrone-Stokkerman

关于带算子的分配格簇的普适理论：一些可判定性和复杂性结果。 （英语） Zbl 0938.06005

Ganzinger，Harald（编辑），自动扣除-CADE-16。第十六届国际会议，意大利特伦托，1999年7月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1632157-171（1999年）。
MSC公司：6点20分 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。1632157-171（1999年；兹bl 0938.06005）
Jakob Rehof；托本·莫根森。

有限半格中的可牵引约束。 （英语） Zbl 1482.68093号

Cousot，Radhia（编辑）等人，《静态分析》。1996年9月24日至26日，第三届国际研讨会，SAS’96，德国亚琛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1145, 285-300 (1996).
MSC公司：68号30 2012年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rehof}和\textit{T.Æ.Mogensen}，Lect。注释计算。科学。1145285-300（1996年；Zbl 1482.68093）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件