The lowest-priced item that has been used or worn previously.The item may have some signs of cosmetic wear, but is fully operational and functions as intended. This item may be a display model or store return that has been used.See details for description of any imperfections.
This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Lecture Notes in Computer Science
Series Part/Volume Number
eBay Product ID (ePID)
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K