[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Labeled Deduction System for the Logic UB
Caleiro, Carlos, Viganò, Luca, Volpe, MarcoYear:
2013
Language:
english
DOI:
10.1109/time.2013.14
File:
PDF, 373 KB
english, 2013