【预订】Automata for Branching and Layered Temporal Structures 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642118807 Author 作者 Puppis Format 版本 平装-胶订 Pages Number 页数 206页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-02-18 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis’ thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, an
¥608.00
海外直订Automata for Branching and Layered Temporal Structures:
¥553.00
【3-6周达】高被引Automata for Branching and Layered Temporal Struct 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Extending Temporal Logic with Omega-Automata 用欧米茄自动机扩展时序
¥599.00
按需印刷Extending Temporal Logic with Omega-Automata 预订，预计下单后2-3周左右发货！
¥751.00
