×

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

最新的 引文 关联
伯恩哈德·海尼曼;克劳斯·维赫劳赫

计算机科学家的逻辑。介绍。2、durchges。澳大利亚。（Logik für Informatiker，Eine Einführung.） （德语） Zbl 0828.03001号

Leitfäden und Monographien der Informatik公司。斯图加特：B.G.特布纳。viii，240 S.（1992）。
审核人：K.Schultz（Chemnitz）
MSC公司：03-01
PDF格式BibTeX公司 XML格式引用
\textit{B.Heinemann}和\textit{K.Weihrauch}，Logik für Informatiker。艾因·艾因富伦（Eine Einührung）。2、durchges。澳大利亚。斯图加特：B.G.Teubner（1992；Zbl 0828.03001）
埃里克·纳索尔;盖伊·维达尔·纳奎特

命题时序逻辑表达实时系统属性的适用性。 （英语） Zbl 1493.68218号

Finkel，A.（编辑）等人，STACS 92。计算机科学的理论方面。1992年2月13日至15日，法国卡尚，第九届年度研讨会会议记录。柏林：斯普林格。莱克特。注释计算。科学。577，59-70页（1992年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{E.Nassor}和\textit{G.Vidal-Naquet}，莱克特。注释计算。科学。577、59-70（1992年；Zbl 1493.68218）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;佐哈尔·曼纳;阿米尔·普努利

数字钟有什么好处？ （英语） Zbl 1425.68255号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 545-558 (1992).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。623545-558（1992年；Zbl 1425.68255）
全文： 内政部
爱德华·张;佐哈尔·曼纳;阿米尔·普努利

时间属性类的特征。 （英语） Zbl 1425.68252号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Chang}等人，Lect。注释计算。科学。623474-486（1992年；Zbl 1425.68252）
全文： 内政部
霍华德·巴林杰;Dov Gabbay公司

势在必行的未来：过去的成功\（\Rightarrow\）未来的行动。 （英语） Zbl 0755.03010号

计算机科学逻辑，Proc。研讨会，伯克利/加利福尼亚州（美国）1989年，出版。，数学。科学。Res.Inst.21，1-16（1992）。
审核人：R.S.卢巴斯基（兰卡斯特）
MSC公司：03B70号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}和\textit{D.Gabbay}，in：计算机科学的逻辑。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。1-16（1992年；Zbl 0755.03010）
路易斯·法利尼亚斯·德尔·塞罗（编辑）;马蒂·彭顿（编辑）

编程的内涵逻辑。 （英语） 兹伯利0787.03018

逻辑与计算研究. 1. 牛津：克拉伦登出版社。ix，219页（1992年）。
审核人：C.Masalagiu（伊阿什）
MSC公司：03B70号 68N17号 03B45号 03-02 03-06
PDF格式BibTeX公司 XML格式引用
\textit{L.Fariñas del Cerro}（编辑）和\textit{M.Penttonen}（编），编程的内涵逻辑。牛津：克拉伦登出版社（1992；Zbl 0787.03018）
罗恩·科曼斯

使用时序逻辑指定消息传递和时间关键型系统。 （英语） Zbl 0806.68074号

计算机科学课堂讲稿. 651. 柏林：Springer-Verlag。九、 164 p.DM 46.00/sc（1992年）。
审核人：P.van Emde Boas（阿姆斯特丹）
MSC公司：68问题55 03B45号 60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{R.Koymans}，使用时序逻辑指定消息传递和时间关键系统。柏林：Springer-Verlag（1992；Zbl 0806.68074）
全文： 内政部 链接
Bläsius，K.H。（编辑）;Bürckert，H.-J。（编辑）

人工智能中的演绎系统。2.，吕贝拉尔布。u.erw大学。澳大利亚。（Deduktionssysteme.Automatisierung des logischen Denkens。） （德语） 兹比尔0781.68002

慕尼黑：奥尔登堡，第八卷，291页（1992年）。
审核人：F.J.范德林登（埃因霍温）
MSC公司：68-01 68吨15 68T27型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{K.H.Bläsius}（编辑）和\textit{H.J.Bürckert}（主编），演绎系统。Automatisierung des logischen Denkens公司。2.，吕贝拉尔布。u.erw大学。澳大利亚。慕尼黑：奥尔登堡（1992；Zbl 0781.68002）
Pinchinat，S.公司。

比较并发语义中的顺序进程。 （英语） Zbl 0783.03007号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 293-305 (1992).
审核人：N.Curteanu（伊阿什）
MSC公司：03B45号 03B70号 68问题55 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinchinat}，莱克特。注释计算。科学。626293--305（1992年；Zbl 0783.03007）
施林格洛夫，伯恩德·霍尔格

关于模态逻辑在树上的表达能力（扩展抽象）。 （英语） Zbl 0978.03523号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 441-451 (1992).
MSC公司：03B70号 03B44号 03B45号 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.-H.施林格洛夫}，莱克特。注释计算。科学。620、441--451（1992年；Zbl 0978.03523）
Sakalauskaitö，Jératö

具有等式的一阶线性时序逻辑的序列演算。 （英语） Zbl 0978.03514号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔，第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 430-440 (1992).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.Sakalauskait}，莱克特。注释计算。科学。620430--440（1992年；Zbl 0978.03514）
普利乌什凯维奇乌斯，里贾曼塔斯

用until和since完成一阶对称线性时序逻辑的时序计算。 （英语） Zbl 0978.03513号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 382-393 (1992).
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Pliuškevičius}，莱克特。注释计算。科学。620382-393（1992年；兹bl 0978.03513）
约翰·马林斯

克莱恩自动机和递归理论。 （英语） Zbl 0978.03526号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 336-346 (1992).
MSC公司：05年3月 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.Mullins}，莱克特。注释计算。科学。620336-346（1992年；Zbl 0978.03526）
弗兰克·莱斯克

使用时态逻辑的抽象数据类型的构造规范。 （英语） Zbl 0977.68552号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 269-280 (1992).
MSC公司：第68季度第65季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Lesske}，莱克特。注释计算。科学。620269-280（1992年；Zbl 0977.68552）
瑟伦·克里斯滕森

异步通信代理的逻辑特征。 （英语） Zbl 0977.68554号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 93-104 (1992).
MSC公司：68问题85 2010年第68季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Christensen}，莱克特。注释计算。科学。62093--104（1992年；Zbl 0977.68554）
罗马克里希纳，Y.S。;莫瑟，L.E。;狄龙，L.K。;梅利亚·史密斯，P.M。;G.库蒂。

命题时态逻辑的自动机理论决策过程，从开始到结束。 （英语） 兹比尔0761.03005

安.社会.数学。政策。，序列号。IV、 芬达姆。信息。 17，第3期，271-282（1992）.
MSC公司：03B25号 03B45号 68吨15 03B35型 68瓦30 65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.S.Ramakrishna}等人，Ann.Soc.Math。政策。，序列号。IV、 芬达姆。Inf.17，No.3，271--282（1992；Zbl 0761.03005）
普利乌什凯维奇乌斯，里贾曼塔斯

为连续不动点时序逻辑设计完整的时序演算。 （英语） Zbl 0915.03015号

Pearce，David（编辑）等人，《人工智能中的逻辑》，欧洲研讨会JELIA’92。1992年9月7日至10日，德国柏林。柏林：斯普林格。莱克特。注释计算。科学。633，36-51（1992年）。
MSC公司：03B45号 05年3月 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Pliuškevičius}，莱克特。注释计算。科学。633、36--51（1992年；Zbl 0915.03015）
迪格纳姆，F。;范德里特，R.P。

知识库的建模如何基于语言学和逻辑。 （英语） Zbl 0760.68078号

知识工程中的语言工具，Proc。蒂尔堡/荷兰研讨会。1991, 215-249 (1992).
MSC公司：68层35
PDF格式BibTeX公司 XML格式引用
\textit｛F.Dignum｝和\textit｛R.P.van de Riet｝，载：知识工程中的语言工具。1991年研讨会论文集，荷兰蒂尔堡，1991年1月17日至18日。阿姆斯特丹：爱思唯尔科学出版社（北荷兰）。215--249（1992年；Zbl 0760.68078）
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第2卷：背景：计算结构。 （英语） Zbl 0777.68001号

人工智能和逻辑编程。牛津：克拉伦登出版社。十、 第571页（1992年）。
审核人：R.S.Lubarsky（兰卡斯特）
MSC公司：68-00 2012年第68季度 03年3月 03B40型 68吨15 03B70号 03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第2卷：背景：计算结构。牛津：克拉伦登出版社（1992；Zbl 0777.68001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件