×

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

最新的 引文 关联
普利乌什凯维奇乌斯，里贾曼塔斯

用无穷微积分研究离散线性时间逻辑的有限微积分。 （英语） Zbl 1415.03034号

巴兹迪ṇJánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。票据计算。科学。502, 504-528 (1991).
MSC公司：03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Pliuškevičius}，莱克特。票据计算。科学。502、504--528（1991年；Zbl 1415.03034）
全文： 内政部
安东尼·高尔顿

具体化了时间理论，以及如何使其无效。 （英语） Zbl 0761.68089号

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，1177-1182（1991）。
审核人：N.Curteanu（伊阿什）
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛A.Galton｝，载：IJCAI 91，第12届国际人工智能大会论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。1177--1182（1991年；Zbl 0761.68089）
萨拉斯瓦特，维杰（编辑）；Kazunori上田（编辑）

逻辑编程：1991年10月28日至11月1日在美国加利福尼亚州圣地亚哥举行的1991年国际研讨会论文集。 （英语） Zbl 0816.68040号

伦敦：麻省理工学院出版社，。第十八章，第740页（1991年）。
MSC公司：68N17号 68-06 68米15 第68季度第42季度 第68季度55 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{V.Saraswat}（ed.）和\textit{K.Ueda}（edi.），逻辑编程：1991年10月28日至11月1日在美国加利福尼亚州圣地亚哥举行的1991年国际研讨会论文集。伦敦：麻省理工学院出版社（1991；Zbl 0816.68040）
托马斯·古肯比埃尔

形式化和使用持久性。 （英语） Zbl 0746.68080号

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，105-110（1991）。
审核人：N.Curteanu（伊阿什）
MSC公司：68吨15 03B45 68T27型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{T.Guckenbiehl}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。105-110（1991年；Zbl 0746.68080）
迈克尔·费希尔

时序逻辑的一种解析方法。 （英语） 兹比尔074568091

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，99-104（1991）。
审核人：N.Curteanu（伊阿什）
MSC公司：68吨15 03B35型 03B45 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fisher}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。99-104（1991年；Zbl 0745.68091）
拉杰夫·阿鲁尔；费德，托马斯；托马斯·亨辛格（Thomas A.Henzinger）。

放松守时的好处。 （英语） Zbl 1314.68195号

1991年8月19日至21日，加拿大魁北克省蒙特利尔市，第十届ACM分布式计算原理年度研讨会论文集，PODC’91。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-439-2）。139-152 (1991).
MSC公司：68问题85 03B44号 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，《第十届分布式计算原理年度ACM研讨会论文集》，PODC’91，加拿大魁北克省蒙特利尔，1991年8月19-21日。纽约州纽约市：计算机协会（ACM）。139——152（1991年；Zbl 1314.68195）
全文： 内政部 链接
约翰·范·本特姆

时间的逻辑。对时间本体论和时间话语变体的模型理论研究。2.修订版。 （英语） Zbl 0758.03012号

Synthese库. 156. 多德雷赫特：Kluwer学术出版社。xxii，280页（1991年）。
MSC公司：03B45 03C99号 03-01 2002年3月 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.van Benthem}，时间的逻辑。对时间本体论和时间话语变体的模型理论研究。2.修订版Dordrecht：Kluwer学术出版社（1991；Zbl 0758.03012）
维特里希，比特

具有约束的大型演绎数据库。 （英语） Zbl 0771.68045号

信息-学位论文ETH Zürich. 26. 苏黎世：维尔。d.Fachvereine和d.Schweiz。Hochschulen u.Techniken公司。苏黎世：ETH，Informatik，IX，117 p.（1991）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：第68页，共15页 68-02
PDF格式BibTeX公司 XML格式引用
\textit{B.Wüthrich}，具有约束的大型演绎数据库。苏黎世：维尔。d.Fachvereine和d.Schweiz。Hochschulen u.Techniken；苏黎世：ETH，Informatik（1991；Zbl 0771.68045）
查尔斯·格兰特·布朗（编辑）；格雷戈斯·科赫（编辑）

自然语言理解和逻辑编程，第三届国际研讨会论文集，瑞典斯德哥尔摩，1991年1月23日至25日。 （英语） Zbl 0723.68002号

阿姆斯特丹等地：荷兰北部。八、 309页，英国国防部。190.00 (1991).
审核人：U.Hahn（弗赖堡i.Br.）
MSC公司：68-06 68T50型 第68季度55 68吨15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Brown}（编辑）和textit{G.Koch}（编），自然语言理解和逻辑编程，III.第三届国际研讨会会议记录，瑞典斯德哥尔摩，1991年1月23日至25日。阿姆斯特丹等：北荷兰（1991；Zbl 0723.68002）
斯特凡·马特恩

MTMM公司。时间关系管理系统。（MTMM.Ein System zur Verwaltung von Zeitverhältnissen） （德语） Zbl 0818.68013号

Berichte der Gesellschaft für Mathematik und Datenverabeitung（GMD-Bericht）。193.慕尼黑等：R.Oldenbourg Verlag。195页（1991年）。
MSC公司：68-02 68N99型 68M99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Materne}，MTMM。Ein System zur Verwaltung von Zeitverhältnissen公司。慕尼黑等：R.Oldenbourg Verlag（1991；Zbl 0818.68013）
Randal E.布莱恩特。；Carl-Johan H.塞格。

使用符号三元系统模型对数字电路进行形式化验证。 （英语） Zbl 0767.94023号

计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。票据计算。科学。531, 33-43 (1991).
MSC公司：94立方厘米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{C.-J.H.Seger}，莱克特。票据计算。科学。531、33-43（1991年；Zbl 0767.94023）
琳达·奈斯

L.0分析中出现的问题。 （英语） Zbl 0786.68020号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 565-576 (1991).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{L.Ness}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。565--576（1991年；Zbl 0786.68020）
吉尔·舒雷克；奥尔纳·格伦伯格

计算机辅助验证的模块化框架。 （英语） Zbl 0786.68068号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 359-380 (1991).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Shurek}和\textit{O.Grumberg}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。359--380（1991年；Zbl 0786.68068）
Josko，伯恩哈德

克里普克结构之间的上下文相关等价关系。 （英语） Zbl 0797.68061号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 341-358 (1991).
MSC公司：2010年第68季度 68问题85 03B45
PDF格式BibTeX公司 XML格式引用
\textit{B.Josko}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。341-358（1991年；兹bl 0797.68061）
奥利维·库德特；让·克里斯托夫马德雷；克里斯蒂安·伯特特

验证顺序机器的时间属性，而不构建其状态图。 （英语） Zbl 0786.68059号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 75-84 (1991).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Coudert}等人，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。75-84（1991年；Zbl 0786.68059）
安蒂·瓦尔马里

对国家爆炸的顽固攻击。 （英语） Zbl 0786.68069号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 25-41 (1991).
MSC公司：60年第68季度 2010年第68季度 03B45
PDF格式BibTeX公司 XML格式引用
\textit{A.Valmari}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。25-41（1991年；Zbl 0786.68069）
Edmund M.jun Clarke。

时序逻辑模型检查：两种避免状态爆炸问题的技术。 （英语） Zbl 0786.68058号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 1-2 (1991).
MSC公司：60年第68季度 03B45 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke jun.}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。1--2（1991年；Zbl 0786.68058）
伯恩哈德·内贝尔

信念修正和默认推理：基于语法的方法。 （英语） Zbl 0765.68198号

知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991年，417-428（1991年）。
MSC公司：68T27型 03B42号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{B.Nebel}，in：知识表示和推理原理。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.，417--428（1991；Zbl 0765.68198）
彼得·哈德维

表示动作的时间概率逻辑。 （英语） Zbl 0765.68182号

知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991，313-324（1991）。
MSC公司：68T27型 03B48
PDF格式BibTeX公司 XML格式引用
\textit{P.Haddawy}，in：知识表示和推理原理。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.，313--324（1991；Zbl 0765.68182）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

主字段

软件