×

找到52个文档(结果1-52)

无限树上的自动机和逻辑。(自动化和物流 (德语) Zbl 0741.03018号

亚琛:亚琛RWTH,数学-大自然。法克/联邦调查局第116号第(1989)条。
PDF格式BibTeX公司 XML格式引用

Logique tempolelle公司。Semostive et validation de programs paralliles系列。 (法语) Zbl 0702.68050号

信息学教育与研究。巴黎:马森。《联邦公报》第232页第210.00页(1989年)。
审核人:N.Curteanu公司
PDF格式BibTeX公司 XML格式引用

从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。 (英语) Zbl 0682.68096号

奇切斯特等:威利父子公司第二十四期,380页(1989年)。
审核人:N.Curteanu公司
PDF格式BibTeX公司 XML格式引用

并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 (英语) Zbl 0683.68001号

计算机科学课堂讲稿354.柏林等:斯普林格·弗拉格。八、 第713页(1989年)。
MSC公司:68-06 00B25型
PDF格式BibTeX公司 XML格式引用

在描述和补充知识时使用内涵逻辑模型。 (英语。俄文原件) Zbl 0727.68117号

苏联。J.计算。系统。科学。 27,第6号,1-9(1989); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第5期,86-95(1988)。
PDF格式BibTeX公司 XML格式引用

规范中的时序逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。 (英语) Zbl 0718.68002号

计算机科学课堂讲稿,第398页。柏林等:Springer-Verlag。六、 第448页,DM 63.00(1989)。
PDF格式BibTeX公司 XML格式引用

时间证明的力量。 (英语) Zbl 0754.03017号

计算机科学数学基础。第十四交响曲。,89年MFCS,Porąbka-Kozubnik/Pol。1989年,Lect。注释计算。科学。379, 135-144 (1989).
PDF格式BibTeX公司 XML格式引用

一种时序逻辑方法,用于指定和证明有限状态并发系统的属性。 (英语) 兹比尔0746.68030

CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 63-79 (1989).
审核人:M.Val'ev先生
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

软件