×

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

具有实际存在谓词的动态接触代数:快照表示和拓扑对偶。 (英语) Zbl 1511.03004号

Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:施普林格。Outst公司。控制日志。22, 411-475 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息量和近似操作符:再次围绕轨道。 (英语) 兹比尔1170.68605

Peters,James F.(编辑)等人,《粗糙集交易》VIII。柏林:施普林格出版社(ISBN 978-3-540-85063-2/pbk)。计算机科学课堂讲稿5084。《期刊副刊》,237-250(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续函数空间上的动态拓扑逻辑。 (英语) Zbl 1148.03018号

Governatori,Guido(编辑)等人,《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)论文选集。伦敦:学院出版物(ISBN 1-904987-20-6/pbk)。299-318 (2006).
MSC公司:03B45号 03B44号 54H20个
PDF格式BibTeX公司 XML格式引用

部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号

Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份

软件