Time Structures: Formal Description and Algorithmic Representation - Tapa blanda

Hajnicz, Elzbieta

 
9783662195901: Time Structures: Formal Description and Algorithmic Representation
Tapa blanda
ISBN 10: 3662195909 ISBN 13: 9783662195901
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662195909
ISBN 13 
9783662195901
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3540609415 ISBN 13:  9783540609414
Editorial: Springer, 2008
Tapa blanda