×

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

最新的 引文 关联
格里戈里薄荷

经典和直观的几何逻辑。 （英语） Zbl 1430.03034号

Prosorov，Oleg（编辑），《哲学、数学、语言学：互动方面国际会议论文集》（PhML-2012），俄罗斯圣彼得堡欧勒国际数学研究所，2012年5月22日至25日。伦敦：学院出版物。螺柱日志。（伦敦）70117-125（2017）。
MSC公司：03B20型 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷}，螺柱日志。（伦敦）70117-125（2017；Zbl 1430.03034）
格里戈里薄荷;托马斯·施图德

带一个变量的\（\mu\）-演算的简化。 （英语） Zbl 1457.03070号

Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，47-54（2012）。
MSC公司：05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}和\textit{T.Studer}，电子。程序。西奥。计算。科学。（EPTCS）77，47-54（2012年；兹bl 1457.03070）
全文： arXiv公司 链接
格里戈里薄荷

哥德尔·塔斯基对直觉命题公式的翻译。 （英语） Zbl 1357.03055号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学讲义7265，487-491（2012）。
MSC公司：03B45号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，莱克特。注释计算。科学。7265、487--491（2012年；Zbl 1357.03055）
全文： 内政部
格里戈里薄荷

用马斯洛夫逆方法判定E类。 （英语） Zbl 1287.03028号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，529-537（2010）。
MSC公司：03B25号 03B10号机组 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，莱克特。注释计算。科学。6300、529--537（2010年；Zbl 1287.03028）
全文： 内政部
薄荷，G。;Hoshi，T。

一元逻辑中的逻辑方程。 （英语。俄文原件） 兹比尔1190.03014

数学杂志。科学。，纽约 158，第5期，741-752（2009）; Zap的翻译。诺什。塞米恩。POMI 358251-270（2008）。
审核人：M.Yasuhara（普林斯顿）
MSC公司：03B10号机组 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}和\textit{T.Hoshi}，J.数学。科学。，纽约158号，第5741-752号（2009年；兹bl 1190.03014）；Zap的翻译。诺什。塞米恩。POMI 358、251--270（2008）
全文： 内政部
德拉加林，A.G。
薄荷，G.E。（编辑）

构造性证明理论和非标准分析。G.E.Mints编辑。(Конструктивная теория доказательств и нестандартный анализ.) （俄语） Zbl 1102.03003号

莫斯科：土耳其URSS（ISBN 5-354-00387-3）。543页。(2003).
审核人：MR2118475（2006b:03080）
MSC公司：03-06 03楼55 05时03分 00A30型 01A75号 03B35型 03C90号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Dragalin}和\textit{G.E.Mints}（编辑）。莫斯科：Ehdority URSS（2003；Zbl 1102.03003）
格里戈里薄荷

直觉逻辑中Skolem函数的公理化。 （英语） Zbl 0971.03011号

Faller，Martina（编辑）等人，《信息动力学的形式化》。加州斯坦福：CSLI，语言与信息研究中心。CSLI法律。笔记。91, 105-114 (2000).
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03B20型 03年3月
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}，in：将信息的动态形式化。加州斯坦福：CSLI，语言与信息研究中心。105-114（2000；Zbl 0971.03011）
薄荷，G。

自然演绎的三个方面。 （英语） Zbl 1415.03025号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1227，16-30（1997年）。
MSC公司：03B35型 03B20型 03B40型 03年3月 05年3月 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，莱克特。注释计算。科学。1227年，16-30年（1997年；Zbl 1415.03025年）
全文： 内政部
格里戈里薄荷;弗拉基米尔·奥尔耶夫科夫;塔内尔·塔米特

将顺序演算策略转换为S4的分辨率。 （英语） Zbl 0869.03010号

Wansing，Heinrich（编辑），模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。2, 17-31 (1996).
审核人：N.Zamov（喀山）
MSC公司：03B45号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}等人，应用。日志。序列号。2、17-31（1996；Zbl 0869.03010）
格里高利·薄荷

序列派生的正规形式。 （英语） Zbl 0897.03053号

Odifreddi，Piergiorgio（编辑），《克里塞利亚纳：关于乔治·克里塞尔及其周围》。马萨诸塞州韦尔斯利：A K Peters。469-492 (1996).
审核人：V.佩克豪斯（爱尔兰根）
MSC公司：05年3月 03B20型 03楼50
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，in：克雷塞利亚纳：关于格奥尔格·克雷塞尔及其周围。马萨诸塞州韦尔斯利：A K Peters。469--492（1996年；Zbl 0897.03053）
薄荷，G.E。

用ε替换等式谓词逻辑的方法。 （英语。俄文原件） Zbl 0934.03073号

数学杂志。科学。，纽约 87，编号1，3234-3252（1997）; Zap的翻译。诺什。塞米恩。POMI 22093-122（1995）。
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：05年3月 03B10号机组 03年3月
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Mints}，J.数学。科学。，纽约87，No.1，1（1995；Zbl 0934.03073）；Zap的翻译。诺什。塞米恩。波米220，93——122（1995）
全文： 内政部
格里戈里薄荷

直觉逻辑的解决策略。 （英语） Zbl 0810.03007号

Mayoh，Brian（编辑）等人，《约束编程》。1993年8月13日至24日在爱沙尼亚帕尔努举行的北约高级研究所会议记录。柏林：施普林格出版社。北约ASI系列。，序列号。F、 计算。系统。科学。131, 289-311 (1994).
审核人：N.Zamov（喀山）
MSC公司：03B35型 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}，北约ASI Ser。，序列号。F、 计算。系统。科学。131289--311（1994年；Zbl 0810.03007）
格里戈里薄荷

非经典逻辑中求解方法的策略。 （英语） Zbl 0796.03015号

Gottlob，Georg（编辑）等人，《计算逻辑和证明理论》。1993年8月24日至27日，第三届库尔特·哥德尔学术讨论会，KGC’93，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。713, 62 (1993).
审核人：G.薄荷
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，莱克特。注释计算。科学。713、62（1993；Zbl 0796.03015）
薄荷，G。

Gentzen类型系统和解析规则。二： 谓词逻辑。 （英语） Zbl 0796.03014号

Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至7月22日在芬兰赫尔辛基举行的ASL夏季会议。柏林：施普林格出版社。莱克特。注释日志。163-190年（1993年）。
审核人：H.J.Ohlbach（萨尔布吕肯）
MSC公司：03B35型 03B10号机组 03B20型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.薄荷糖}，莱克特。注释日志。2163-190（1993年；兹bl 0796.03014）
薄荷，格里高利;Jan M.史密斯。;恩恩·图古

类型——一些声明性语言的理论语义。 （英语） Zbl 1412.68043号

巴兹迪ṇJánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 18-32 (1991).
MSC公司：68号30 03B70号 68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}等人，Lect。注释计算。科学。50218--32（1991年；Zbl 1412.68043）
全文： 内政部
薄荷，格里戈里

具有选择原则的直觉系统的规范化定理。 （英语） Zbl 0772.03027号

数理逻辑，程序。夏季计划。Conf.Ded公司。第90届安尼夫。Arend Heyting，柴卡/巴尔格。1988, 59-66 (1990).
审核人：G.Kreisel（牛津）
MSC公司：05年3月 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}，in：数学逻辑。1988年9月13日至23日，在保加利亚柴卡举行的阿伦德·海廷（1898-1980）九十周年暑期学校和会议记录。纽约：Plenum出版社。59-66（1990年；Zbl 0772.03027）
薄荷，G。

Gentzen型系统和解析规则。一： 命题逻辑。 （英语） Zbl 0739.03011号

科罗格-88，Proc。国际会议，塔林/苏联1988年，法律。不是。计算。科学。417, 198-231 (1990).
审核人：H.J.Ohlbach（萨尔布吕肯）
MSC公司：03B35型 05年3月 03B05号 03B20型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}，in：关于双闭范畴中完全一致的条件：证明理论的一个新应用。198--231（1990年；Zbl 0739.03011）
薄荷，G。

模态逻辑的分辨率计算。 （英语。俄文原件） Zbl 0671.03007号

翻译。，序列号。2，美国数学。Soc公司。 143, 1-14 (1989); Izv的翻译。阿卡德。Nauk Ehst公司。SSR、Fiz.、。，材料35，279-290（1986）。
MSC公司：03B35型 03B45号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛G.Mints｝，翻译。，序列号。2，美国数学。Soc.143，1-14（1989；Zbl 0671.03007）；Izv的翻译。阿卡德。Nauk Ehst公司。SSR、Fiz.、。，材料35、279--290（1986）
全文： 内政部
约格·西克曼（编辑）;格雷厄姆·怀特森（编辑）
[沃斯，L。;亨森，L。;R.W.宾克利。;克拉克·R·L·。;S.Yu，马斯洛夫。;斯莱格尔，J.R。;罗宾逊，G.A。;D.F.卡森。;莎拉，L。;安德鲁斯，P.B。;D.W.洛夫兰。;罗宾逊，J.A。;德布鲁因，N.G。;警卫，J.R。;F.C.奥格尔斯比。;J.H.贝内特。;定居，L.G。;科瓦尔斯基，R。;P.J.海耶斯。;莫里斯，J.B。;D.普拉维茨。;R.安德森。;布莱索，W.W。;Chang，C.L。;科努特，D.E。;本迪克斯，P.B。;J.艾伦。;D.勒克姆。;谢金，G.S。;达维多夫，G.V。;薄荷，G.E。;奥列夫科夫（V.P.Orevkov）。;A.O.斯利森科。;D.奎纳。]

推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 （英语） Zbl 0567.03002号

符号计算。人工智能。柏林等：斯普林格-弗拉格。十二、 第637页，108.00德国马克（1983年）。
审核人：北柯蒂安努
MSC公司：03-06 68-06 03B35型 68吨15 01A75号
PDF格式BibTeX公司 XML格式
约格·西克曼（编辑）;格雷厄姆·怀特森（编辑）
[M.戴维斯。;S.Yu，马斯洛夫。;薄荷，G.E。;奥列夫科夫（V.P.Orevkov）。;J.C.肖。;纽厄尔，A。;西蒙，H.A。;A.罗宾逊。;E.W.贝思。;邓纳姆，B。;弗里德沙尔，R。;斯瓦德，G.L。;H·盖伦特。;H.普特南。;J.A.汉森。;D.W.洛夫兰。;吉尔摩，P.C。;D.普拉维茨。;H·普拉维茨。;北卡罗来纳州沃格拉。;Wang，H。;G·洛格曼。;北，J.H。;J.弗里德曼。;康格，S。;罗宾逊，J.A。;沃斯，L.T。;D.F.卡森。;罗宾逊，G.A。;北卡罗来纳州沙宁。;达维多夫，G.V。;A.O.斯利森科。;熔融器，B。]

推理自动化。1：1957-1966年关于计算逻辑的经典论文。 （英语） Zbl 0567.03001号

符号计算。人工智能。柏林等：斯普林格-弗拉格。XII、 525页DM 98.00（1983年）。
审核人：北柯蒂安努
MSC公司：03-06 68-06 03B35型 68吨15 01A75号
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件