发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Labeled Tableaux System for the Distributed Temporal Logic DTL

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Labeled Tableaux System for the Distributed Temporal Logic DTL

Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigan, Luca

作者Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigan, Luca
文件大小376.36KB
发表时间2008
DOI10.1109/TIME.2008.21
页码101-109

← 返回【学霸图书馆】主页