【预订】Temporal Logics 9781009170109 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781009170109 Author 作者 Valentin Goranko Format 版本 平装-胶订 Pages Number 页数 75页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-07-01 Product Dimensions 商品尺寸 229 x 152 mm Language 语种 其它(含多语) Book Contents 内容简介 Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning i
¥199.00
预订 Logic and Discrete Mathematics [ISBN:9781118762677] 【全球购】进口原版图书,约5-8周到达国内后发出
¥326.00
预订 Logic as a Tool: A Guide to Formal Logical Reasoning [ISB 【全球购】进口原版图书,约5-8周到达国内后发出
¥802.00
作为工具的逻辑 正式逻辑推理指南 Logic As A Tool - A Guide To Formal Logical 高等数学ValentinGoranko
¥249.00
明星店铺 中华商务进口图书旗舰店
预订 Logic as a Tool:A Guide to Formal Logical Reasoning 预订,预计下单后3-4周左右发货!
¥1036.8
按需印刷Logic and Discrete Mathematics:A Concise Introduction 预订,预计下单后3-4周左右发货!
¥890.80
按需印刷Logic and Discrete Mathematics 预订,预计下单后3-4周左右发货!
¥369.80