×

找到66份文件（结果1-66）

最新的 引文 关联
Jean-Marc阿利奥特;安德烈亚斯·赫齐格;马梅德，利马马克斯

实现Prolog扩展：并行推理机。 （英语） Zbl 0864.68016号

新一代计算机技术研究所（编辑），第五代计算机系统1992。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。833-842 (1992).
MSC公司：68N17号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-M.Alliot}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。833--842（1992年；Zbl 0864.68016）
所罗门·费弗曼

图灵的“预言家”：从绝对到相对的可计算性——再回来。 （英语） Zbl 0853.03013号

埃切维里亚，哈维尔（编辑）等人，《数学的空间》。哲学、认识论和历史探索。1990年9月，西班牙巴斯克地区Donostia/San Sebastian，数学理论结构研讨会的修订论文。柏林：沃尔特·德·格鲁伊特。Grundlagen der Kommunikation und Kognition公司。314-348 (1992).
审核人：W.I.Gasarch（大学公园）
MSC公司：03年月日 03-03 01A60型 03日第10天
PDF格式BibTeX公司 XML格式引用
\textit{S.Feferman}，in：数学空间。哲学、认识论和历史探索。1990年9月，西班牙巴斯克郡多诺斯蒂亚/圣塞巴斯蒂安数学理论结构研讨会的修订论文。柏林：沃尔特·德·格鲁伊特。314--348（1992；Zbl 0853.03013）
张国强

事件结构的一个单体封闭范畴。 （英语） Zbl 1518.68133号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 426-435 (1992).
MSC公司：2010年第68季度 03B70号 18日第15天 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.-Q.Zhang}，莱克特。注释计算。科学。598426-435（1992年；Zbl 1518.68133）
全文： 内政部
尤金尼乌斯·埃伯巴赫

SMA网络上方程组的不动点语义。 （英语） Zbl 1407.68187号

Tan，Kok-Keong（编辑），不动点理论与应用。第二届国际会议记录，1991年6月9日至14日，加拿大新斯科舍省哈利法克斯。新泽西州哈肯萨克：《世界科学》。97-111 (1992).
MSC公司：2010年第68季度 03B70号 68问题55 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Eberbach}，in：不动点理论与应用。第二届国际会议记录，加拿大新斯科舍省哈利法克斯，1991年6月9日至14日。新泽西州哈肯萨克：《世界科学》。97-111（1992年；Zbl 1407.68187）
吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。

有界线性逻辑：多项式时间可计算性的模块化方法。 （英语） Zbl 0788.03005号

理论。计算。科学。 97，第1期，1-66页（1992年）.
审核人：C.Calude（奥克兰）
MSC公司：03B20型 03财年03 2015年3月1日 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-Y.Girard}等人，Theor。计算。科学。97，编号1，1-66（1992年；Zbl 0788.03005）
全文： 内政部
帕特里克·林肯;约翰·米切尔;安德烈·斯克洛夫;Natarajan Shankar

命题线性逻辑的决策问题。 （英语） Zbl 0768.03003号

Ann.纯粹应用。逻辑 56，编号1-3，239-311（1992）.
审核人：A.乌尔西尼语（锡耶纳）
MSC公司：03B20型 03天35分 2015年3月1日 03B25号 65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Lincoln}等人，Ann.Pure Appl。逻辑56，编号1--3，239--311（1992；Zbl 0768.03003）
全文： 内政部
伊贡博格尔

可计算性、复杂性、逻辑。算法、语言和微积分的复杂性。第3版修订版。（Berechenbarkeit、Komplexität、Logik.Algorithmen、Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität） （德语） Zbl 0749.68001号

布伦瑞克等：Vieweg。xx，499页（1992年）。
审核人：M.Kummer（卡尔斯鲁厄）
MSC公司：68-01 99年第68季度 2015年3月1日 03-01 68时01分 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}、Berechenbarkeit、Komplexität、Logik。Algorithmen，Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität。布伦瑞克等第三版修订版：Vieweg（1992；Zbl 0749.68001）
雷内·戴维;哈萨内·阿拉

Petri网和Grafcet。离散事件系统建模工具。翻译自法语。 （英语） Zbl 0810.68014号

赫默尔·亨普斯特德（Hemel Hempstead，Herts.）：普伦蒂斯·霍尔。xii，339 p.81.00/hc（1992年）。
审核人：D.Gruska（布拉迪斯拉发）
MSC公司：68-01 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.David}和\textit{H.Alla}，Petri网和Grafcet。离散事件系统建模工具。翻译自法语。赫默尔·亨普斯特德（Hemel Hempstead，Herts.）：普伦蒂斯·霍尔（1992；Zbl 0810.68014）
南卡罗来纳州科瓦尔。;坎贝尔，P.G。

行动中的机构。实用的理性代理机。 （英语） Zbl 0814.68010号

认知系统研究. 11. 多德雷赫特：Kluwer学术出版集团。十七、 第206页（1992年）。
MSC公司：68-02 2005年第68季度 68问题55 65年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Coval}和\textit{P.G.Campbell}，机构行动。实用的理性代理机。多德雷赫特：Kluwer学术出版集团（1992；Zbl 0814.68010）
Oguztüzün，H。

一阶逻辑片段，足以实现观测等价。 （英语） Zbl 0819.68127号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼，CSL’91第5次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 278-292 (1992).
审核人：N.Curteanu（伊阿什）
MSC公司：68立方英尺 68T27型 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Oguztüzün}，莱克特。注释计算。科学。626278--292（1992年；Zbl 0819.68127）
弗鲁姆，J。

关于有界理论。 （英语） Zbl 0783.03020号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 111-118 (1992).
审核人：N.Curteanu（伊阿什）
MSC公司：2015年3月1日 65年第68季度 03B25号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Flum}，莱克特。注释计算。科学。626111--118（1992；Zbl 0783.03020）
中国贝尔。;Börger，E。

类型WAM的正确性证明。 （英语） Zbl 0819.68028号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 15-34 (1992).
审核人：N.Curteanu（伊阿什）
MSC公司：68N17号 68吨15 2005年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{Ch.Beierle}和\textit{E.Börger}，莱克特。注释计算。科学。626，15--34（1992；Zbl 0819.68028）
D.F.霍尔特。;莎拉·里斯

有限呈现群之间的同构测试。 （英语） Zbl 0829.20004

Liebeck，Martin（编辑）等人，《群、组合和几何》。1990年7月5日至15日在英国达勒姆举行的L.M.S.达勒姆研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。165, 459-475 (1992).
MSC公司：20-04 20F05型 68瓦30 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit｛D.F.Holt｝和\textit｛S.Rees｝，伦敦。数学。Soc.Lect（社会学）。注释序列号。165，459--475（1992；Zbl 0829.20004）
施林格洛夫，伯恩德·霍尔格

关于模态逻辑在树上的表达能力（扩展抽象）。 （英语） 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）
新泽西州科索沃。;普罗霍罗夫，A.B。

当连接词和否定数有限时，合取范式可满足性的多项式复杂性。 （英语） Zbl 0978.03528号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 241-245 (1992).
MSC公司：2015年3月1日 03B05号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.K.Kossovsky}和\textit{A.B.Prokhoroff}，莱克特。注释计算。科学。620、241--245（1992；Zbl 0978.03528）
瑟伦·克里斯滕森

异步通信代理的逻辑特征。 （英语） 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.库蒂。

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

安.社会.数学。波兰。，序列号。四、 芬丹。信息。 17，第3期，271-282（1992）.
MSC公司：03B25号 03B45号 68吨15 03立方厘米35 68瓦30 65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.S.Ramakrishna}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.17，No.3，271--282（1992；Zbl 0761.03005）
罗马克里希纳，Y.S。;狄龙，L.K。;莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。

未来区间逻辑的自动机理论决策过程。 （英语） 兹比尔0919.03007

Shyamasundar，R.（编辑），《软件技术和理论计算机科学基础》。第十二届会议，印度新德里，1992年12月18-20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。652, 51-67 (1992).
MSC公司：03B25号 03B45号 05年3月 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{Y.S.Ramakrishna}等人，Lect。注释计算。科学。652、51-67（1992年；Zbl 0919.03007）
琳达·克里斯托夫;伊万·克里斯托夫

推理概率过程的安全性和活性属性。 （英语） Zbl 0925.03151号

Shyamasundar，R.（编辑），《软件技术和理论计算机科学基础》。第十二届会议，印度新德里，1992年12月18-20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。652, 342-355 (1992).
MSC公司：03B70号 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛L.Christoff｝和\textit｛I.Christoff｝，Lect。注释计算。科学。652342-355（1992年；Zbl 0925.03151）
洪，胡

基于量化器消去的圆柱代数分解中的简单求解公式构造。 （英语） Zbl 0919.03029号

Wang，Paul S.（编辑），符号和代数计算国际研讨会92。ISSAC 92。1992年7月27日至29日，美国加利福尼亚州伯克利。马里兰州巴尔的摩：ACM出版社。177-188 (1992).
MSC公司：03C10号机组 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Hong}，in：符号和代数计算国际研讨会92。ISSAC 92。美国加州伯克利，1992年7月27日至29日。马里兰州巴尔的摩：ACM出版社。177-188（1992年；Zbl 0919.03029）
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑）

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

牛津：克拉伦登出版社。XII、 827页，85.00英镑/hc（1992年）。
审核人：S.Bloom（霍博肯）
MSC公司：68-01 68N17号 03B70号 03B45号 68瓦30 68甲15 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第一卷：背景：数学结构。牛津：克拉伦登出版社（1992；Zbl 0806.68003）
D.博基尔。;销，J.E。

语言和扫描仪。 （英语） Zbl 0875.03081号

伊藤正美（编辑），《单词、语言和组合学》，日本京都，1990年8月28日至31日。新加坡：世界科学。16-29 (1992).
MSC公司：05年3月 70年第68季度 65年第68季度 03B25号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Beauquier｝和\textit｛J.E.Pin｝，收录于：单词、语言和组合学，日本京都，1990年8月28日至31日。新加坡：世界科学。16-29（1992年；Zbl 0875.03081）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件