×

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

最新的 引文 关联
乔恩·豪厄尔;大卫·科茨

SPKI的形式语义。 （英语） Zbl 1487.68065号

Frédéric Cuppens（编辑）等人，《计算机安全–ESORICS 2000》。第六届欧洲计算机安全研究研讨会，2000年10月4日至6日，法国图卢兹。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1895, 140-158 (2000).
MSC公司：68平方米25 03B70号 68英里11 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{J.Howell}和\textit{D.Kotz}，莱克特。注释计算。科学。18951140-158（2000年；兹比尔1487.68065）
全文： 内政部
奥利弗·范拉克

关系决策理论。（关系型实体。） （德语） Zbl 1336.90006号

杜伊斯堡大学（Univ.Duisburg）、Fakultät für Naturwissenschaften大学、Mathematik研究所（Diss.）。ii，176页。(2000).
MSC公司：90-02 90摄氏度70 91B06型 90B50型 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{O.van Laak}，《关系企业》（Relationale Entscheidungstheorie）。杜伊斯堡：杜伊斯堡大学，法库塔夫国立数学研究所（Diss.）（2000；Zbl 1336.90006）
全文： 链接
皮埃尔·卢伊斯·居里;雨果·赫贝林

计算的二重性。 （英语） 兹比尔1321.68146

2000年9月18日至21日，加拿大蒙特利尔，ICFP'00，第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-202-6）。ACM SIGPLAN通知35，第9号，233-243（2000）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{P.-L.Curien}和\textit{H.Herbelin}，摘自：第五届ACM SIGPLAN函数编程国际会议论文集，ICFP'00，加拿大蒙特利尔，2000年9月18-21日。纽约州纽约市：计算机协会（ACM）。233——243（2000年；Zbl 1321.68146）
全文： 内政部
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯

刚性可达性，刚性E-统一的非对称形式。 （英语） Zbl 1319.68127号

发现的国际期刊。计算。科学。 11，第1期，3-27（2000）.
MSC公司：2012年第68季度 03B25号 05年3月 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ganzinger｝等人，国际发现杂志。计算。科学。11，第1号，第3--27号（2000年；Zbl 1319.68127）
全文： 内政部
卢卡·卡德利;安德鲁·戈登。

随时随地：移动环境的模态逻辑。 （英语） Zbl 1323.68405号

2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。365-377 (2000).
MSC公司：68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{A.D.Gordon}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。365-377（2000年；Zbl 1323.68405）
全文： 内政部
克里斯托弗·斯通（Christopher A.Stone）。;罗伯特·哈珀

用单例类型确定语言中的类型等价性。 （英语） Zbl 1323.68163号

2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。214-227 (2000).
MSC公司：68甲18 03B70号 68甲15 68N20型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Stone}和\textit{R.Harper}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。214--227（2000年；Zbl 1323.68163）
全文： 内政部
安德烈亚·阿斯佩蒂;保罗·科波拉;西蒙·马提尼

（最佳）复制不是基本递归。 （英语） Zbl 1323.68091号

2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。96-107 (2000).
MSC公司：68甲18 03B40型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}等人，in：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。96-107（2000年；Zbl 1323.68091）
全文： 内政部
帕特里克·库索;拉迪亚·库索特

时间抽象解释。 （英语） Zbl 1323.68367号

2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。12-25 (2000).
MSC公司：60年第68季度 03B44号 68甲18 68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}和\textit{R.Cousot}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。12-25（2000年；Zbl 1323.68367）
全文： 内政部
阿莫尔·蒙塔尼奥（Amor Montaño）、何塞·阿尔弗雷多（JoséAlfredo）;米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel）

自动化模型构建概览。 （西班牙语） Zbl 1119.03323号

Hernández-Lamoneda，Luis（编辑）等人，墨西哥数学学会第32届全国代表大会，墨西哥瓜达拉哈拉，1999年10月10日至17日。诉讼程序。墨西哥：墨西哥马特马提卡社会（ISBN 968-36-8435-1/pbk）。Aportaciones Mat.，科蒙。27, 141-152 (2000).
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Amor Montaño}和\textit{F.E.Miranda Perea}，Comun，Aportaciones Mat。27、141--152（2000年；Zbl 1119.03323）
弗吉尼亚州布埃维奇。

包含所有单位置有限自动机函数的系统的完备性准则。 （英语。俄文原件） Zbl 1088.68631号

离散数学。应用。 10，编号6，613-634（2000）; 从Diskretn翻译。材料12，第4号，138-158（2000）。
MSC公司：65年第68季度 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Buevich}，离散数学。申请。10，第6号，613--634（2000；Zbl 1088.68631）；从Diskretn翻译。材料12，第4号，138--158（2000）
全文： 内政部
M.F.Ratsa。;拉苏，A.G。

关于Göbel-Löb可证明逻辑中公式的完备可表示系统的一些性质。 （英语。俄文原件） 兹比尔1044.03045

离散数学。应用。 10，第6号，553-570（2000）; 从Diskretn翻译。材料12，第4号，63-82（2000）。
MSC公司：03层45 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Ratsa}和\textit{A.G.Russu}，离散数学。申请。10，第6号，553--570（2000；Zbl 1044.03045）；从Diskretn翻译。材料12，编号4，63--82（2000）
全文： 内政部
弗兰克·芬宁

关于分阶段计算的推理（受邀演讲摘要）。 （英语） Zbl 1044.68555号

Taha，Walid（编辑），《程序生成的语义、应用和实现》。2000年9月20日在加拿大蒙特利尔举行的SAIG 2000国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41054-6）。勒克特。注释计算。科学。1924, 5-6 (2000).
MSC公司：68号30 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}，莱克特。注释计算。科学。1924年5月6日（2000年；Zbl 1044.68555）
全文： 链接
米歇尔·帕里戈特

二阶对称（λ）-演算的强正规化。 （英语） Zbl 1044.03008号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 442-453 (2000).
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Pariget}，莱克特。注释计算。科学。1974年，442--453（2000年；Zbl 1044.03008）
全文： 链接
彼得罗·迪·贾南托尼奥;弗朗哥、吉安卢卡

游戏lambda模型的精细结构。 （英语） Zbl 1044.03007号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 429-441 (2000).
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Di Gianantonio}和\textit{G.Franco}，莱克特。注释计算。科学。1974年，429--441（2000年；Zbl 1044.03007）
全文： 链接
奥利维尔·李

方程图的有界弱一元量词交替层次是无限的。 （英语） Zbl 1044.03006号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 188-200 (2000).
MSC公司：03B25号 03C85号 68兰特 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{O.Ly}，莱克特。注释计算。科学。1974年，188-200（2000年；Zbl 1044.03006）
全文： 链接
萨尔瓦多拉托雷;那不勒斯，玛格丽塔

一种可判定的密集分支时间时序逻辑。 （英语） Zbl 1044.03012号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20次会议，2000年12月13日至15日，印度新德里。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 139-150 (2000).
MSC公司：03B44号 03B25号 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.La Torre}和\textit{M.Napoli}，莱克特。注释计算。科学。1974年，139-150（2000年；Zbl 1044.03012）
全文： 链接
伊戈尔·瓦卢基维奇

模型检查下推系统的CTL属性。 （英语） Zbl 1044.68111号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 127-138 (2000).
MSC公司：60年第68季度 2017年第68季度 2005年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Walukiewicz}，莱克特。注释计算。科学。1974年，127--138（2000年；Zbl 1044.68111）
全文： 链接
戴维·巴恩斯;曼纽尔·克莱维尔;何塞·梅塞盖尔

将逻辑重写为元逻辑框架。 （英语） Zbl 1044.03020号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 55-80 (2000).
MSC公司：03B70号 2012年第68季度 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。注释计算。科学。1974年，55-80（2000年；Zbl 1044.03020）
全文： 链接
Joáo C.P.达席尔瓦。;Sheila R.M.维洛索。

通过缺省理论代表信念修正。 （英语） Zbl 1043.03505号

玛丽亚·卡罗莱纳（编辑）等，《人工智能进展》。国际联席会议，第七届伊比利亚-美国人工智能会议，第十五届巴西人工智能研讨会，IBERAMIA-SBIA 2000。巴西SP Atibaia，2000年11月19日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41276-X）。勒克特。注释计算。科学。1952, 227-235 (2000).
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.C.P.da Silva}和\textit{S.R.M.Veloso}，莱克特。注释计算。科学。1952年，227--235（2000年；Zbl 1043.03505）
全文： 链接
Jair，Minoro Abe;精木赤山

带注释的时序逻辑（Delta^*\tau）。 （英语） 兹比尔1043.03508

玛丽亚·卡罗莱纳（编辑）等，《人工智能进展》。国际联席会议，第七届伊比利亚-美洲人工智能会议，第十五届巴西人工智能研讨会，2000年伊比利亚-美洲。2000年11月19日至22日，巴西SP阿提巴亚。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41276-X）。勒克特。注释计算。科学。1952, 217-226 (2000).
MSC公司：03B44号 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{J.Minoro Abe}和\textit{S.Akama}，莱克特。注释计算。科学。1952年，217--226（2000年；Zbl 1043.03508）
全文： 链接
马塞洛·芬格;Wamberto的Vasconcelos

使用组合逻辑共享资源敏感知识。 （英语） Zbl 1043.68724号

玛丽亚·卡罗莱纳（编辑）等，《人工智能进展》。国际联席会议，第七届伊比利亚-美国人工智能会议，第十五届巴西人工智能研讨会，IBERAMIA-SBIA 2000。2000年11月19日至22日，巴西SP阿提巴亚。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41276-X）。勒克特。注释计算。科学。1952, 196-206 (2000).
MSC公司：68立方英尺 03B42号 68层35
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{W.Vasconcelos}，莱克特。注释计算。科学。1952196-206（2000；Zbl 1043.68724）
全文： 链接
贝内迪塔·马莱罗;奥利维拉，尤金尼奥

使用分布式信念修正方法解决冲突信念。 （英语） Zbl 1043.68727号

玛丽亚·卡罗莱纳（编辑）等，《人工智能进展》。国际联席会议，第七届伊比利亚-美国人工智能会议，第十五届巴西人工智能研讨会，IBERAMIA-SBIA 2000。2000年11月19日至22日，巴西SP阿提巴亚。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41276-X）。勒克特。注释计算。科学。1952, 146-155 (2000).
MSC公司：68立方英尺 03B42号
PDF格式BibTeX公司 XML格式引用
\textit｛B.Malheiro｝和\textit｛E.Oliveira｝，Lect。注释计算。科学。1952146-155（2000年；Zbl 1043.68727）
全文： 链接
科米奇，V.I。

超直觉命题逻辑的简单替换性质。 （英语。俄文原件） Zbl 1041.03022号

多克。数学。 62，第2期，213-215（2000）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 374，No.3，318-320（2000）。
MSC公司：03B55号
PDF格式BibTeX公司 XML格式引用
\textit{V.I.Khomich}，多克。数学。62，No.2，318--320（2000；Zbl 1041.03022）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。诺克374，No.3，318--320（2000）
库齐切夫（A.S.Kuzichev）。

解决科尔莫戈罗夫之后的希尔伯特中心问题。 （英语。俄文原件） Zbl 1041.03507号

多克。数学。 61，第2期，212-215（2000）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 371，No.3，303-306（2000）。
MSC公司：03B40型 03B30型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Kuzichev}，Dokl。数学。61，No.2，303--306（2000；Zbl 1041.03507）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 371，No.3，303--306（2000）
赫莱梅德尼克，R.V。

线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 （俄语。英文摘要） Zbl 1032.03510号

维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，176-191（2000）.
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.V.Khelemednik}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1期，176--191（2000；Zbl 1032.03510）
佩菲尔·埃娃，I.G。

用模糊逻辑公式表示的函数逼近连续函数。 （俄语。英文摘要） Zbl 1032.03511号

维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，144-151（2000）.
MSC公司：03B52号 03E72型 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{I.G.Perfil'eva}，维斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1期，144--151（2000；Zbl 1032.03511）
D.N.巴宾。

根据完备性问题的可解性对自动机系统进行分类。 （俄语。英文摘要） Zbl 1032.03522号

维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，23-26页（2000年）.
MSC公司：05年3月 03B25号 94立方厘米 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Babin}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1号，第23--26号（2000年；Zbl 1032.03522）
新泽西州阿库里尼切娃。

关于三值部分逻辑中闭类格的一些片段。 （俄语。英文摘要） 兹比尔1032.03527

维斯特。尼日戈罗德。洛巴切夫斯科戈大学，材料模型。最佳方案。向上。 2000年，第1期，7-13（2000）.
MSC公司：03G10年 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{N.K.Akulinicheva}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年第1号、第7--13号（2000年；Zbl 1032.03527）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件