Time Structures: Formal Description and Algorithmic Representation - Brossura

Hajnicz, Elzbieta

 
9783662195901: Time Structures: Formal Description and Algorithmic Representation
Brossura
ISBN 10: 3662195909 ISBN 13: 9783662195901
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662195909
ISBN 13 
9783662195901
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540609414: Time Structures: Formal Description and Algorithmic Representation: 1047

Edizione in evidenza

ISBN 10:  3540609415 ISBN 13:  9783540609414
Casa editrice: Springer, 2008
Brossura