×

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

最新的 引文 相关性
吉列尔莫·巴迪亚;彼得·辛图拉;彼得·哈耶克;安德鲁·特德

Rosser的本质不可判定性定理需要多少命题逻辑？ （英语） Zbl 1500.03004号

版本符号。日志。 15，第2期，487-504（2022）.
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03B25号 03B47号 03B52号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{G.Badia}等人，Rev.Symb。日志。15，第2号，487--504（2022；Zbl 1500.03004）
全文： DOI程序 arXiv公司
彼得·哈耶克;佛朗哥·蒙塔格纳;卡莱斯·诺格拉

一阶模糊逻辑的算法复杂性。 （英语） 兹比尔1284.03180

Cintula，Petr（编辑）等人，《数学模糊逻辑手册》。第2卷。伦敦：学院出版物（ISBN 978-1-84890-054-7/pbk）。逻辑研究（伦敦）38。《数理逻辑与基础》，853-908（2011）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}等人，研究日志。（伦敦）38，853--908（2011；Zbl 1284.03180）
彼得·辛图拉（编辑）;彼得·哈耶克（编辑）;卡莱斯·诺格拉（编辑）

数学模糊逻辑手册。第2卷。 （英语） Zbl 1283.03002号

逻辑研究（伦敦）38.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-054-7/pbk）。十七、469-928。(2011).
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03-00 03B52号 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第2卷。伦敦：学院出版物（2011；Zbl 1283.03002）
彼得·辛图拉（编辑）;彼得·哈耶克（编辑）;卡莱斯·诺格拉（编辑）

数学模糊逻辑手册。第1卷。 （英语） Zbl 1283.03001号

逻辑研究（伦敦）37.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-039-4/pbk）。xxi，第468页。(2011).
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03-00 03B52号 03G25号 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第1卷。伦敦：学院出版物（2011；Zbl 1283.03001）
彼得·哈耶克

哥德尔的本体论证明及其变体。 （英语） Zbl 1283.03019号

Baaz，Matthias（编辑）等人，Kurt Gödel和数学基础。真理的地平线。剑桥：剑桥大学出版社（ISBN 978-0-521-76144-4/hbk）。307-321 (2011).
审核人：Max A.Freund（圣何塞）
MSC公司：03A05号 03B45号 03年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，in：库尔特·哥德尔和数学基础。真理的地平线。剑桥：剑桥大学出版社。307--321（2011；Zbl 1283.03019）
Fermüller，Christian G。;彼得·哈耶克

关于模糊逻辑和模糊性的对话。 （英语） Zbl 1275.03102号

Cintula，Petr（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。《逻辑研究》（伦敦）36，405-416（2011）。
MSC公司：03B52号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{P.Hájek}，Stud.Log。（伦敦）36，405--416（2011；Zbl 1275.03102）
彼得·辛图拉（编辑）;Fermüller，Christian G。（编辑）;路易斯·戈多（编辑）;彼得·哈耶克（编辑）

理解模糊。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。 （英语） Zbl 1239.03001号

逻辑研究（伦敦）36.伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。第421页。(2011).
MSC公司：03-06 03A05号 03B52号 03B65号 68层37 00时25分
PDF格式BibTeX公司 XML格式引用
\textit{P.Cintula}（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（2011；Zbl 1239.03001）
彼得·哈耶克

关于句子清晰的模糊理论。 （英语） Zbl 1123.03014号

Aguzzoli，Stefano（编辑）等，非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林：施普林格出版社（ISBN 978-3-540-75938-6/pbk）。计算机科学课堂讲稿4460。《人工智能课堂讲稿》，194-200（2007）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。注释计算。科学。4460194-200（2007；Zbl 1123.03014）
全文： DOI程序
齐格弗里德·戈特瓦尔德;彼得·哈耶克

基于三角范数的数学模糊逻辑。 （英语） Zbl 1078.03020号

Klement，Erich Peter（编辑）等人，三角范数的逻辑、代数、分析和概率方面。2003年2月4日至8日，奥地利林茨，第24届林茨模糊集理论研讨会论文集。阿姆斯特丹：爱思唯尔（ISBN 0-444-51814-2/hbk）。275-299 (2005).
审核人：克劳迪·阿尔西纳（巴塞罗那）
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{S.Gottwald}和\textit{P.Hájek}，in：三角范数的逻辑、代数、分析和概率方面。2003年2月4-8日，奥地利林茨，第24届林茨模糊集理论研讨会论文集。阿姆斯特丹：爱思唯尔。275--299（2005；Zbl 1078.03020）
彼得·哈耶克

模糊逻辑和算术层次。四、。 （英语） Zbl 1084.03020号

Hendricks，Vincent（编辑）等人，重温了一阶逻辑。2003年9月18日至21日，德国柏林洪堡大学，FOL75–75年一阶逻辑会议记录。柏林：Logos Verlag（ISBN 3-8325-0475-3/pbk）。《逻辑哲学》12，107-115（2004）。
审核人：齐格弗里德·戈特瓦尔德（莱比锡）
MSC公司：03B52号 03B50号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，逻辑哲学。12、107——115（2004年；Zbl 1084.03020）
彼得·哈耶克

关系和GUHA类型的数据挖掘。二、。 （英语） Zbl 1088.68567号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和克莱恩代数方法》。2003年5月12日至17日，德国巴德·马伦特，第七届计算机科学关系方法国际研讨会（RelMiCS 7）和第二届克莱恩代数应用国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-22145-X/pbk）。计算机科学课堂讲稿3051163-170（2004）。
MSC公司：第68页，共15页 68T05型 05年3月 03B70号 03C80号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。注释计算。科学。3051、163--170（2004年；Zbl 1088.68567）
全文： DOI程序
彼得·哈耶克

一个真正无法证明的模糊谓词逻辑公式。 （英语） Zbl 1099.03017号

沃尔夫冈·伦斯基（编辑），《逻辑与近似》。纪念迈克尔·里希特65岁生日的文章。柏林：施普林格出版社（ISBN 3-540-22562-5/pbk）。计算机科学课堂讲稿3075，1-5（2004）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。注释计算。科学。3075，1--5（2004；Zbl 1099.03017）
全文： DOI程序
齐格弗里德·戈特瓦尔德（编辑）;彼得·哈耶克（编辑）

特刊：模糊逻辑的进展。在2002年1月于斯洛伐克利普托夫斯基Ján举行的第六届模糊集理论及其应用国际会议上提交的论文。 （英语） Zbl 1038.03500号

模糊集系统。 143，第1期，1-188（2004）.
MSC公司：03-06 03B52号 03E72型 00时25分
PDF格式BibTeX公司 XML格式引用
\textit{S.Gottwald}（编辑）和\textit{P.Hájek}（主编），模糊集系统。143，编号1，1--188（2004；Zbl 1038.03500）
全文： DOI程序
彼得·哈耶克;Zuzana Haniková

模糊逻辑中集合论的发展。 （英语） Zbl 1040.03041号

Fitting，Melvin（编辑）等人，《超越二：多值逻辑的理论和应用》。海德堡：Physica-Verlag（ISBN 3-7908-1541-1/pbk）。模糊软计算研究。114, 273-285 (2003).
审核人：拉德科·梅西亚尔（布拉迪斯拉发）
MSC公司：03E72型 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}和\textit{Z.Haniková}，Stud.Fuzziness软计算。114273--285（2003年；Zbl 1040.03041）
彼得·哈耶克

为什么选择模糊逻辑？ （英语） Zbl 1068.03018号

Dale Jacquette（编辑），哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社（ISBN 0-631-21671-5/hbk）。布莱克韦尔同伴菲洛斯（Blackwell Companions Philos）。22595-605（2002年）。
审核人：弗拉基克·雅。克雷诺维奇（埃尔帕索）
MSC公司：03B52号 03A05号 03B25号 03-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，in：哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社。595--605（2002；Zbl 1068.03018）
哈耶克，P。（编辑）;L.戈多。（编辑）;南卡罗来纳州哥特瓦尔德。（编辑）

特刊：模糊逻辑。1999年9月22日至25日在西班牙帕尔马举行的Eusflat-Estylf联合会议和2000年1月31日至2月4日在斯洛伐克利普托夫斯克举行的第五届模糊集理论及其应用国际会议（FSTA）上发表的论文。 （英语） Zbl 0986.00043号

模糊集系统。 124，第3期，269-404（2001）.
MSC公司：00时25分 03-06 03B52号 03E72型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}（编辑）等人，《模糊集系统》。124，编号3269-404（2001年；兹bl 0986.00043）
全文： DOI程序
彼得·哈耶克

数学模糊逻辑–最新技术。 （英语） Zbl 0949.03023号

Buss，Samuel R.（编辑）等人，《98年逻辑学术讨论会》。符号逻辑协会欧洲夏季年会论文集，捷克共和国布拉格，1998年8月9日至15日。马萨诸塞州纳蒂克：A K Peters，Ltd.Lect。注释日志。197-205年（2000年）13日。
审核人：博里奇奇（贝尔格莱德）
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。注释日志。13、197--205（2000；Zbl 0949.03023）
彼得·哈耶克

特拉赫滕布罗特定理和模糊逻辑。 （英语） Zbl 0943.03021号

Gottlob，Georg（编辑）等人，《计算机科学逻辑》。1998年8月24日至28日在捷克共和国布尔诺举行的第十二届国际研讨会，1998年CSL，EACSL年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1584, 1-8 (1999).
审核人：V.Novák（俄斯特拉发）
MSC公司：03B52号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。注释计算。科学。1584年1月8日（1999年；Zbl 0943.03021）
彼得·哈耶克

马加里和其他人对哥德尔的本体论证明。 （英语） 兹比尔0859.03010

Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里的国际会议记录，1994年4月26日至30日，意大利蓬蒂纳诺。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 125-135 (1996).
审核人：U.Schefler（柏林）
MSC公司：03B45号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，莱克特。Notes纯应用。数学。180125-135（1996年；Zbl 0859.03010）
哈耶克，P。

关于近似推理的逻辑。二、。 （英语） Zbl 0865.68113号

Della Riccia，G.（编辑）等人，《人工智能中的数学和统计方法》。1994年9月6日至8日，意大利乌迪内，ISSEK 94研讨会会议记录。维也纳：施普林格出版社。CISM课程选择。363, 147-155 (1995).
MSC公司：68T27型 03B45号 68吨15 03B50号 03B80号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit｛P.Hájek｝，CISM课程Lect。363147-155（1995年；Zbl 0865.68113）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件