×

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

C.S.皮尔士。 (英语) Zbl 1387.03004号

亚历克斯·马尔帕斯(编辑)等人,《哲学和形式逻辑的历史》。从亚里士多德到塔斯基。纽约州纽约市:布卢姆斯伯里学院(ISBN 978-1-4725-1350-2/hbk)。165-181 (2017).
PDF格式BibTeX公司 XML格式引用

分支时间图的解释。 (英语) Zbl 1398.03022号

Haemmerlé,Ollivier(编辑)等人,基于图形的表示和推理。第22届概念结构国际会议,2016年ICCS,法国安纳西,2016年7月5-7日。诉讼程序。查姆:施普林格(ISBN 978-3-319-40984-9/pbk;978-3-3169-40985-6/电子书)。计算机科学9717课堂讲稿。人工智能课堂讲稿,31-39(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间与逻辑:A.N.Prior对时间概念的形式分析。 (英语) Zbl 1220.03007号

费雷,塞巴斯蒂安(编辑)等,形式概念分析。2009年5月21日至24日在德国达姆施塔特举行的2009年ICFCA第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-01814-5/pbk)。计算机科学课堂讲稿5548。人工智能课堂讲稿,66-81(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间本体论的先验方法。 (英语) Zbl 1104.68740号

沃尔夫、卡尔·埃里奇(编辑)等人,《工作中的概念结构》,第十二届概念结构国际会议,2004年,美国亚利桑那州亨茨维尔,2004年7月19日至23日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22392-4/pbk)。计算机科学讲义3127。《人工智能讲义》,388-401(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

决定论和时间逻辑的起源。 (英语) Zbl 0945.03016号

霍华德·巴林格等人,《时序逻辑的进展》。1997年,英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。16, 185-206 (2000).
MSC公司:03B44号 03A05号 03-03
PDF格式BibTeX公司 XML格式引用

关于时间现实主义的两篇论文(由PeterØhrström作介绍)。 (英语) Zbl 0912.03001号

Copeland,B.J.(编辑),《逻辑与现实:关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津:克拉伦登出版社。43-51 (1996).
PDF格式BibTeX公司 XML格式引用

时间逻辑。从古代思想到人工智能。 (英语) Zbl 0855.03003号

语言学和哲学研究. 57. 多德雷赫特:Kluwer学术出版社。viii,第413页Dfl。140.00; $ 99.00; £63.00 (1995).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段