×

找到9个文档(结果1-9)

具有选择对应的布尔集理论的可满足性问题。 (英语) 兹比尔1483.03029

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256、61-75(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

操纵的计算复杂性:一项调查。 (英语。俄文原件) Zbl 1348.91109号

自动。远程控制 77,第3号,369-388(2016); Avtom翻译。Telemekh公司。2016年,第3期,7-32(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测量无差别:单位间隔顶点删除。 (英语) Zbl 1309.68158号

蒂利科斯,迪米特里奥斯·M(编辑),计算机科学中的图论概念。2010年6月28日至30日,第36届国际研讨会,2010年工作组,希腊克里特岛扎罗斯。修改后的文件。柏林:施普林格出版社(ISBN 978-3-642-16925-0/pbk)。计算机科学课堂讲稿6410232-243(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份