Time Structures: Formal Description and Algorithmic Representation - Softcover

Hajnicz, Elzbieta

 
9783662195901: Time Structures: Formal Description and Algorithmic Representation
Softcover
ISBN 10: 3662195909 ISBN 13: 9783662195901
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662195909
ISBN 13 
9783662195901
Binding
Paperback
Number of pages
260

Other Popular Editions of the Same Title

9783540609414: Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047)

Featured Edition

ISBN 10:  3540609415 ISBN 13:  9783540609414
Publisher: Springer, 1996
Softcover