Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Andrew U. Frank; Irene Campari; Ubaldo Formentini

Автор: Martin Giese; Arild Waaler
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3642027156 ISBN-13(EAN): 9783642027154
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .

Автор: Stanley Durrleman; Tom Fletcher; Guido Gerig; Marc
Название: Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data
ISBN: 3319149040 ISBN-13(EAN): 9783319149042
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Longitudinal Registration and Shape Modeling.- Longitudinal Modeling.- Reconstruction from Longitudinal Data.- 4D Image Processing.

Автор: Renate A. Schmidt; Cl?udia Nalon
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 331966901X ISBN-13(EAN): 9783319669014
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

Автор: Uwe Egly; Christian G. Fernm?ller
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3540439293 ISBN-13(EAN): 9783540439295
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 3642397204 ISBN-13(EAN): 9783642397202
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

Автор: Didier Galmiche; Dominique Larchey-Wendling
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3642405363 ISBN-13(EAN): 9783642405365
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Invited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formul in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.