Time Structures: Formal Description and Algorithmic Representation - Couverture souple

Hajnicz, Elzbieta

 
9783662195901: Time Structures: Formal Description and Algorithmic Representation
Couverture souple
ISBN 10 : 3662195909 ISBN 13 : 9783662195901
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Description of time structures in the first order predicate calculus.- Modal temporal logics and description of time structures.- Temporal reasoning algorithms.- Formalization of the constraint propagation algorithm.- Translations of Allen's calculi into modal temporal logic.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662195909
ISBN 13 
9783662195901
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540609414: Time Structures: Formal Description and Algorithmic Representation

Edition présentée

ISBN 10 :  3540609415 ISBN 13 :  9783540609414
Editeur : Springer, 2008
Couverture souple