×

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

最新的 引文 关联
杰弗里·沙利特

拒绝案例分析：自动化基于案例的证明的繁重工作。 （英语） Zbl 1495.68126号

Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12803，14-24（2021）。
MSC公司：65年第68季度 68兰特 68伏05 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Shallit}，莱克特。注释计算。科学。12803，14-24（2021；Zbl 1495.68126）
全文： 内政部
乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁;Micha Zawidzki

基于表的非Fregean逻辑句子恒等式判定过程。 （英语） Zbl 07437071号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 41-57 (2021).
MSC公司：03立方厘米35 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Goliñska-Pilarek}等人，Lect。注释计算。科学。12699，41-57（2021；Zbl 07437071）
全文： 内政部 arXiv公司
OA许可证
马雷克·巴拉诺夫斯基;何绍波;马蒂亚斯·莱切纳;Thanh Son Nguyen先生;茨沃尼米尔·拉卡马里奇

定点算术的SMT理论。 （英语） Zbl 07614504号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 13-31 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Baranowski}等人，Lect。注释计算。科学。12166，13-31（2020；Zbl 07614504）
全文： 内政部
唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼

DPLL：现代可满足性求解器的核心。 （英语） Zbl 1439.68026号

Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。外部。控制日志。10, 315-335 (2016).
MSC公司：68伏15 68-03 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Loveland}等人，Outst。控制日志。10、315--335（2016；Zbl 1439.68026）
全文： 内政部
德米特里·特拉泰尔;托比亚斯·尼普科

验证了基于正则表达式导数的单词的MSO决策过程。 （英语） Zbl 1323.68346号

2013年9月25日至27日，第18届ACM SIGPLAN功能编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，3-12（2013）。
MSC公司：65年第68季度 03B25号 05年3月 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Traytel}和\textit{T.Nipkow}，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。3-12（2013年；Zbl 1323.68346）
全文： 内政部 链接
马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆

在溯源证明过程中运行时添加完整性约束。 （英语） 兹比尔1237.68200

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，4-13，仅电子版（2010年）。
MSC公司：68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，LIPIcs——莱布尼茨国际程序。通知。7、4--13（2010年；Zbl 1237.68200）
全文： 内政部 链接
埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。

以实验为预言的计算复杂性。 （英语） 兹比尔1152.68444

程序。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 464，编号2098，2777-2801（2008）.
MSC公司：65年第68季度 2010年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Beggs}等人，Proc。英国皇家学会。，序列号。A、 数学。物理学。工程科学。464，编号2098，2777--2801（2008；Zbl 1152.68444）
全文： 内政部
Trzaskalik，T。

分层动态目标规划中的交互过程。 （英语） 兹比尔1162.90554

Tanino，Tetsuzo（编辑）等人，《多目标编程和目标编程》。理论和应用。2002年6月4日至7日在日本奈良举行的MOPGP’02会议过程。柏林：施普林格出版社（ISBN 3-540-00653-2/pbk）。软计算进展，251-256（2003）。
MSC公司：90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Trzaskalik}，in：多目标编程和目标编程。理论和应用。2002年6月4日至7日，日本奈良，MOPGP’02会议进程。柏林：斯普林格。251--256（2003年；Zbl 1162.90554）
杰里米·道森。;拉杰夫·戈尔

使用显示逻辑的关系代数的机械化证明系统。 （英语） Zbl 0928.03007号

Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1489, 264-278 (1998).
MSC公司：03立方厘米35 05年3月 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Dawson}和\textit{R.Goré}，莱克特。注释计算。科学。1489、264--278（1998年；Zbl 0928.03007）
保罗·加斯丁;拉斐尔·梅耶;安托万·佩蒂特

LTrL的（非基本）模块化决策程序。 （英语） Zbl 0914.03010号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1450, 356-365 (1998).
MSC公司：03B25号 03B45号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}等人，Lect。注释计算。科学。1450、356--365（1998年；Zbl 0914.03010）
福斯托·金奇利亚;马可·罗维里;罗伯托·塞巴斯蒂亚尼

模态逻辑中测试决策过程的一种新方法。 （英语） Zbl 1430.68409号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 264-267 (1997).
MSC公司：68伏15 03立方厘米35 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Giunchiglia}等人，Lect。注释计算。科学。1249、264--267（1997年；Zbl 1430.68409）
全文： 内政部
尼古拉·S·比约纳。;Stickel，Mark E。;Tomás E.乌里韦。

一阶推理和决策程序的实际集成。 （英语） Zbl 1430.03037号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 101-115 (1997).
MSC公司：03立方厘米35 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Björner}等人，Lect。注释计算。科学。1249、101--115（1997年；Zbl 1430.03037）
全文： 内政部
拉尔夫·斯特尔（Ralph E.Steuer）。

在电子表格中实现切比雪夫方法。 （英语） Zbl 0934.90071号

Karwan，Mark H.（编辑）等，《决策论文》。纪念斯坦利·齐恩斯的一本书。柏林：斯普林格。93-103 (1997).
审核人：T.Trzaskalik（卡托维兹）
MSC公司：90C29型
PDF格式BibTeX公司 XML格式引用
\textit｛R.E.Steuer｝，in：决策论文。纪念斯坦利·齐恩斯的一本书。柏林：斯普林格。93——103（1997；Zbl 0934.90071）
安德烈·贾斯基维茨（Andrzej Jaszkiewicz）;罗马人Słowiánski

决策问题多准则分析的LBS离散交互过程。 （英语） Zbl 0901.90137号

Clímaco，Joáo（编辑），多准则分析。1994年8月1日至6日在葡萄牙科英布拉举行的第十一届MCDM国际会议记录。柏林：斯普林格。320-330 (1997).
MSC公司：90B50型
PDF格式BibTeX公司 XML格式引用
\textit{A.Jaszkiewicz}和\textit{R.Słowiáski}，in：多准则分析。1994年8月1-6日在葡萄牙科英布拉举行的第十一届MCDM国际会议记录。柏林：斯普林格。320-330（1997；Zbl 0901.90137）
哈特穆特·霍尔茨;卡尔·莫斯勒

预期多属性实用程序的边界过程。 （英语） Zbl 0893.90021号

Tangian，Andranik（编辑）等人，《构造标量值目标函数》。第三届计量经济学决策模型国际会议论文集：构建标度值目标函数，哈根大学，Katholische Akademie Schwerte，德国施瓦特，1995年9月5日至8日。柏林：斯普林格。莱克特。注释经济。数学。系统。453, 153-165 (1997).
MSC公司：91B16号 91B06型
PDF格式BibTeX公司 XML格式引用
\textit{H.Holz}和\textit{K.Mosler}，莱克特。注释经济。数学。系统。453153--165（1997；Zbl 0893.90021）
彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔

超级舞台。 （英语） Zbl 1427.03031号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 1-17 (1996).
MSC公司：03立方厘米35 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}等人，Lect。注释计算。科学。1126年1月17日（1996年；Zbl 1427.03031）
全文： 内政部
罗伯特·波拉克

关于证明检查器的可扩展性。 （英语） Zbl 1530.68270号

Dybjer，Peter（编辑）等人，《证明和程序的类型》。1994年6月6日至10日，瑞典伯斯塔德，94型国际研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。996, 140-161 (1995).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Pollack}，莱克特。注释计算。科学。996、140-161（1995年；Zbl 1530.68270）
全文： 内政部
马克·戈德哈特;贾普·斯普龙克

交互式分散规划：一些数值实验。 （英语） Zbl 0817.90043号

Tzeng，G.H.（编辑）等人，《多准则决策》。1992年7月19日至24日在台湾台北举行的第十届国际会议记录：拓展和丰富思维和应用领域。纽约：施普林格出版社。265-274 (1994).
MSC公司：90B50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Goedhart}和\textit{J.Spronk}，in：多标准决策。1992年7月19日至24日在台湾台北举行的第十届国际会议记录：拓展和丰富思维和应用领域。纽约：施普林格出版社。265--274（1994；Zbl 0817.90043）
安德烈·贾斯基维茨（Andrzej Jaszkiewicz）;罗马人Słowiánski

多目标规划问题的非支配曲面上的光束搜索。 （英语） Zbl 0817.90046号

Tzeng，G.H.（编辑）等人，《多标准决策》。1992年7月19日至24日在台湾台北举行的第十届国际会议记录：拓展和丰富思维和应用领域。纽约：施普林格出版社。87-99 (1994).
MSC公司：90B50型 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{A.Jaszkiewicz}和\textit{R.Słowiáski}，in：多标准决策。1992年7月19日至24日在台湾台北举行的第十届国际会议记录：拓展和丰富思维和应用领域。纽约：施普林格出版社。87-99（1994年；Zbl 0817.90046）
霍恩，克里斯蒂安;阿兰·斯梅尔

从元级策略到对象级程序。 （英语） Zbl 0801.03011号

杰弗里·约翰逊（编辑）等人，《数学中的人工智能》。基于1991年4月由英国格拉斯哥斯特拉斯克莱德大学数学及其应用研究所和图灵研究所主办的会议记录。牛津：克拉伦登出版社。Inst.数学。申请。Conf.序列号。，新序列号。51, 135-146 (1994).
MSC公司：03立方厘米35 68吨15 68甲15 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{C.Horn}和\textit{A.Smaill}，Inst.Math。申请。Conf.序列号。，新序列号。51、135——146（1994年；Zbl 0801.03011）
保罗·布伊斯（Paul E.Buis）。;韦恩·戴克森。;约翰·T·科尔布。

Fortran接口块作为远程过程调用的接口描述语言。（有讨论）。 （英语） Zbl 0793.68062号

高级科学问题解决的编程环境。IFIP TC2/WG2.5工作会议，德国卡尔斯鲁厄1991179-189（1992）。
MSC公司：2010年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Buis}等人，in：高级科学问题解决的编程环境。IFIP TC2/WG2.5工作会议记录，德国卡尔斯鲁厄，1991年9月23日至27日。阿姆斯特丹等地：荷兰北部。179-189（1992年；Zbl 0793.68062）
沃罗宁，A.N。

解决多准则问题的双重方法。 （英语。俄文原件） Zbl 0704.90079号

苏联。J.计算。系统。科学。 26，第5期，10-14（1988）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年，第1期，46-50（1988）。
MSC公司：90C29型 90-08 90B50型 91B16号 91B06型
PDF格式BibTeX公司 XML格式引用
\textit{A.N.沃罗宁}，Sov。J.计算。系统。科学。26，第5号，第10-14号（1988；Zbl 0704.90079）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年，第1期，46--50（1988）
乔治娃，S。;爱迪索诺夫，I。

随机搜索过程中的专家自学习方法。 （保加利亚语。英语、俄语摘要） Zbl 0603.90075号

Avtom公司。伊兹奇什利特纳（Izchislitelna Tekh）。Avtom公司。修女。 1986年，第3期，第12-15页（1986年）.
MSC公司：90B50型 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{S.Georgeva}和\textit{I.Edisonov}，Avtom。，伊兹奇什利特纳（Izchislitelna Tekh.）。，Avtom公司。修女。1986年，第3号，第12--15号（1986；Zbl 0603.90075）
Vinogradskaya，T.M。;Geninson，学士。;鲁宾斯基，A.A。

解决具有非均匀资源的多处理机系统中冲突的最佳规则。二： 解决方法。 （英语。俄文原件） Zbl 0622.90091号

苏联。J.计算。系统。科学。 23，No.2，74-79（1985）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1985年，第6期，第106-112页（1985年）。
MSC公司：90立方厘米 90B50型 60J10型
PDF格式BibTeX公司 XML格式引用
\textit｛T.M.Vinogradskaya｝等人，Sov。J.计算。系统。科学。23，No.2，74--79（1985；Zbl 0622.90091）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1985年，第6期，106-112（1985）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件