×

找到188个文档（结果1-100）

最新 引文 相关性
多罗塔·莱斯琴斯卡·贾西翁;雅罗斯拉夫·彼得鲁金;瓦西里·沙金;马钦·朱基维茨

通过对应分析在\（\mathbf{CPL}\）中实现功能完整性。 （英语） 兹比尔1477.03244

牛。第节。日志。，大学后勤部。 48，第1号，45-76（2019）.
MSC公司：07年3月 03财年03 03B05号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{D.Leszczyáska-Jasion}等人，公牛。第节。日志。，大学后勤部。48，第1号，45--76（2019年；Zbl 1477.03244）
全文： 内政部
安东·德沃纳克;Štěpnička，Martin

基于感知的模糊输入逻辑推理。 （英语） Zbl 1455.68209号

Carvalho，Joao Paulo（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议，2016年IPMU，荷兰埃因霍温，2016年6月20日至24日。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。611, 495-509 (2016).
MSC公司：68层37 03B52号 03G20年 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dvořák}和\textit{M.Štěpnička}，Commun。计算。信息科学。611495--509（2016；Zbl 1455.68209）
全文： 内政部
陈静;塞缪尔·麦考利;辛格、希卡

多个证明人的理性证明。 （英语） Zbl 1334.68080号

2016年1月14日至16日，美国马萨诸塞州剑桥市ITCS’16第七届ACM理论计算机科学创新会议论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4057-1）。237-248 (2016).
MSC公司：2015年第68季度 2010年第68季度 65年第68季度 68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}等人，《第七届ACM理论计算机科学创新会议论文集》，ITCS’16，美国马萨诸塞州剑桥，2016年1月14-16日。纽约州纽约市：计算机协会（ACM）。237--248（2016；Zbl 1334.68080）
全文： 内政部 arXiv公司
马丁·阿文齐尼;克里斯蒂安·斯特纳格尔;雷内·蒂曼

使用CeTA证明复杂性。 （英语） Zbl 1366.68105号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，23-39（2015）。
MSC公司：第68季度第42季度 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Avanzini}等人，LIPIcs——莱布尼茨国际程序。通知。36、23-39（2015年；Zbl 1366.68105）
全文： 内政部
米兰妮·杰奎尔;卡里姆·贝尔卡尼;大卫·德拉哈耶;凯瑟琳·杜布瓦

表使用叠加演绎的模理论。应用Zenon自动定理证明器验证B证明规则。 （英语） Zbl 1358.68255号

Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学课堂讲稿7364。《人工智能课堂讲稿》，332-338（2012）。
MSC公司：68吨15 03B35型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jacquel}等人，Lect。注释计算。科学。7364、332--338（2012年；Zbl 1358.68255）
全文： 内政部 arXiv公司
安东·德沃纳克;Štěpnička，Martin;伦卡·瓦维奇科娃

模糊/语言IF-THEN规则系统中的冗余。 （英语） Zbl 1254.68254号

2011年7月18日至22日，法国Aix-Les-Bains，欧洲模糊逻辑与技术学会第七届会议（EUSFLAT-2011）和第十七届年度LFA会议记录。阿姆斯特丹：亚特兰蒂斯出版社（ISBN 9978-90-78677-00-0）。论文编号1471022-1029（2011）。
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{A.Dvořák}等人，in：《欧洲模糊逻辑与技术学会第七届会议论文集》（EUSFLAT-2011）和第十七届LFA年会，法国Aix-Les-Bains，2011年7月18-22日。阿姆斯特丹：亚特兰蒂斯出版社。论文编号1471022--1029（2011；Zbl 1254.68254）
全文： 内政部
米兰妮·杰奎尔;卡里姆·贝尔卡尼;大卫·德拉哈耶;凯瑟琳·杜布瓦

使用深度嵌入和自动定理证明验证B证明规则。 （英语） Zbl 1350.68236号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041，253-268（2011）。
MSC公司：68吨15 68纳米30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jacquel}等人，Lect。注释计算。科学。7041253--268（2011年；Zbl 1350.68236）
全文： 内政部
拉尔夫·杰弗兹。;康斯坦斯·海特迈尔。;米拉·阿彻（Myla M.Archer）。;伊丽莎白·伦纳德。

使用合成和部分细化对关键系统进行基于模型的构建和验证。 （英语） Zbl 1209.68321号

形式方法系统。设计。 37，编号2-3，265-294（2010）.
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.D.Jeffords}等人，《形式方法系统》。设计。37，编号2--3，265--294（2010；Zbl 1209.68321）
全文： 内政部
萨伊德·阿贝德;奥特曼·艾特·穆罕默德

基于多路决策图的LCF风格平台。 （英语） Zbl 1347.68299号

Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246，3-26（2009）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Abed}和\textit{O.A.Mohamed}，电子。注释Theor。计算。科学。246、3--26（2009年；Zbl 1347.68299）
全文： 内政部
米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel）

二阶命题逻辑。 （西班牙语） Zbl 1253.03031号

Aguilar，M.（编辑）等人，《墨西哥马提马提卡社会纪念碑》。墨西哥：墨西哥马特马提卡社会；墨西哥：墨西哥国立自治大学（联阿援助团）。马特马提卡斯（Aportaciones Matemáticas）。《通讯》40，87-120（2009）。
审核人：Max A.Freund（圣何塞）
MSC公司：03B15号机组 03B70号 03立方厘米85
PDF格式BibTeX公司 XML格式引用
\textit{F.E.Miranda Perea}，阿波塔西奥内斯·马特，科蒙。40、87-120（2009年；Zbl 1253.03031）
乔安·马科斯;达尔莫·门登萨

面向有限值逻辑的全自动公理提取。 （英语） Zbl 1227.03018号

卡尼埃利，沃尔特（编辑）等，《逻辑的多方面》。2008年5月11日至17日在巴西帕拉蒂举行的“CLE 30–30周年逻辑、认识论和科学史中心”、“XV EBL–15届巴西逻辑会议”和“XIV SLALM–14届拉丁美洲数理逻辑研讨会”同期会议的论文选。伦敦：学院出版物（ISBN 978-1-904987-78-9/pbk）。《逻辑研究》（伦敦）21，425-440（2009）。
MSC公司：03B35型 03B50号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Marcos}和\textit{D.Mendonça}，Stud.Log。（伦敦）21425--440（2009；Zbl 1227.03018）
詹·劳赫

关联规则类：概述。 （英语） Zbl 1161.68736号

Lin，Tsau Young（编辑）等，《数据挖掘：基础与实践》。论文选自IEEE ICDM 2004年数据挖掘基础研讨会和IEEE ICDM2005年面向语义数据和web挖掘基础研讨会上的演讲。柏林：施普林格出版社（ISBN 978-3-540-78487-6/hbk）。计算智能研究118，315-337（2008）。
MSC公司：68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.劳赫}，《计算学》。智力。118、315--337（2008年；Zbl 1161.68736）
弗朗西斯·亚历山大;哈立德·比萨耶斯;穆萨·登巴

由错误猜想的归纳证明尝试进行谓词合成。 （英语） Zbl 1099.68094号

莫里斯（Maurice），Bruynooghe（ed.），基于逻辑的程序合成和转换。2003年8月25日至27日在瑞典乌普萨拉举行的2003年LOPSTR第13届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-22174-3/pbk）。计算机科学讲稿3018，20-33（2004）。
MSC公司：68吨15 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alexandre}等人，Lect。注释计算。科学。3018、20-33（2004年；Zbl 1099.68094）
全文： 内政部
埃里克·德普拉涅;克洛德·基什内尔;赫莱内·基什内尔;阮广辉

等式定理和归纳定理的证明搜索和验证。 （英语） Zbl 1278.68257号

Franz Baader（编辑），《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40559-3/pbk）。莱克特。注释计算。科学。第2741297-316页（2003年）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{E.Deplagne}等人，Lect。注释计算。科学。2741297--316（2003年；Zbl 1278.68257）
全文： 内政部
康纳·麦克布莱德

有动机的消除。 （英语） Zbl 1054.03501号

Callaghan，Paul（编辑）等人，《证明和程序的类型》。2000年12月8日至12日，英国达勒姆，TYPES 2000国际研讨会。精选论文。柏林：施普林格出版社（ISBN 3-540-43287-6）。莱克特。注释计算。科学。2277, 197-216 (2002).
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.McBride}，莱克特。注释计算。科学。2277197--216（2002年；Zbl 1054.03501）
全文： 链接
安德烈·比拉

算法结构完整性和算法理论中定理证明的检索系统。 （英语） Zbl 0984.03030号

Prace Naukow UniwersytetuŚląskiego w Katowicach大学1901.卡托维兹：Wydawnictwo Uniwersytetu ląskiego（ISBN 83-226-1023-8/pbk）。124页。(2000).
MSC公司：03B70号 03-02 03月xx日 2002年8月 68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{A.Biela}，算法结构完整性和算法理论中定理证明的检索系统。卡托维兹：Wydawnictwo UniwersytetuŚląskiego（2000；Zbl 0984.03030）
洛杉矶阿克斯·奥诺娃。

最大独立集问题解截断规则或冗余分支的新性质。 （乌克兰语。英文摘要） Zbl 0970.68106号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2000年，第4期，330-336（2000）.
MSC公司：60年第68季度 68吨15 03B35型 05C85号
PDF格式BibTeX公司 XML格式引用
\文本{L.O.Aks onova}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2000，第4号，330-336（2000；Zbl 0970.68106）
乌尔里希·克勒

部分运算数据类型的基于策略的归纳定理证明器（Diss.，Kaiserslautern大学，1999）。 （英语） Zbl 1037.68130号

DISKI公司。论文en zur Künstlichen Intelligenz238.阿姆斯特丹：IOS出版社；柏林：Akademische Verlags-Gesellschaft Aka/infix（ISBN 1-58603-128-7/pbk；3-89838-238-9）。第261页。(2000).
审核人：多伊娜·塔尔（Cluj）
MSC公司：68吨15 68层35 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Kühler}，部分运算数据类型的基于策略的归纳定理证明器（Diss.，凯泽斯劳滕大学，1999）。阿姆斯特丹：IOS出版社；柏林：Akademische Verlags-Gesellschaft Aka/infix（2000；Zbl 1037.68130）
赫莱内·基什内尔

依兰。 （英语） Zbl 0942.68589号

Fages，François（编辑），JFPLC'99。8ème journées francophones de programmation logique et programmation-par containtes，法国里昂，Juin 2-41999年。巴黎：爱马仕科学出版社。241-248（1999年）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Kirchner}，in：JFPLC'99。8ème journées francophones de programmation logique et programmation-par containtes，法国里昂，Juin 2-41999年。巴黎：爱马仕科学出版社。241--248（1999；Zbl 0942.68589）
杰里米·高;阿兰·邦迪;格林，伊恩

估计演算的扩展。 （英语） Zbl 0954.68051号

Ganzinger，Harald（编辑）等人，《编程逻辑和自动推理》。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1705, 258-272 (1999).
MSC公司：68纳米30 68吨15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Gow}等人，Lect。注释计算。科学。1705，258--272（1999；Zbl 0954.68051）
Möller，伯恩哈德

程序计算的代数结构。 （英语） Zbl 0945.68022号

Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。25-97 (1999).
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}，北约ASI Ser。，序列号。F、 计算。系统。科学。25-97、25-97（1999；Zbl 0945.68022）
中川，Koji;上野、武石

关于绅士式自然演绎的结构推理规则。一、。 （英语） Zbl 0995.03043号

Chong，C.T.（编辑）等，《第六届亚洲逻辑会议论文集》，中国北京，1996年5月20日至24日。新加坡：世界科学。199-221 (1998).
MSC公司：07年3月
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakatogawa}和\textit{T.Ueno}，载《第六届亚洲逻辑会议论文集》，中国北京，1996年5月20日至24日。新加坡：世界科学；新加坡：新加坡大学出版社。199-221（1998年；兹bl 0995.03043）
Gerd Neugebauer公司;乌韦·彼得曼

推理规则规范：PTTP技术的扩展。 （英语） Zbl 0973.68212号

Bibel，Wolfgang（编辑）等人，《自动扣除》。应用的基础。第2卷：系统和实现技术。多德雷赫特：Kluwer学术出版社；0-7923-5132-0（套））。申请。日志。序列号。9, 167-188 (1998).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Neugebauer}和\textit{U.Petermann}，应用。日志。序列号。9167-188（1998年；Zbl 0973.68212）
卡洛斯·卡斯特罗

使用计算系统求解二进制CSP。 （英语） Zbl 0912.68097号

Meseguer，J.（编辑），重写逻辑及其应用。1996年9月3日至6日，美国加利福尼亚州太平洋格罗夫，第一届国际研讨会会议记录。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第4、20页（1996年）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Castro}，in：重写逻辑及其应用程序。第一届国际研讨会会议记录，美国加利福尼亚州太平洋格罗夫，1996年9月3日至6日。阿姆斯特丹：爱思唯尔。20页（1996年；Zbl 0912.68097）
全文： 链接
D.M.加巴伊。

标签演绎系统：立场文件。 （英语） Zbl 0794.03014号

Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至22日，ASL夏季会议在芬兰赫尔辛基举行。柏林：Springer-Verlag。莱克特。注释日志。2, 66-88 (1993).
审核人：B.Borić（斯德哥尔摩）
MSC公司：03B22号 03财年03 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}，莱克特。注释日志。266--88（1993；Zbl 0794.03014）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件