A Formal System for the Logical Analysis of Temporal Relationships Between Intervals of Time.
$23.00
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
A formal deduction system for the logical analysis of chronological data (such as before, after, and during relationships). The development of the system was motivated by the requirements of current data-retrieval projects, one of which is Rand's Cy...
Show More
Show Less