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

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

[IEEE Comput. Soc TIME-2000. Seventh International Workshop on Temporal Representation and Reasoning - Cape Breton, NS, Canada (7-9 July 2000)] Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 - Resolution-based proof for multi-modal temporal logics of knowledge

[IEEE Comput. Soc TIME-2000. Seventh International Workshop on Temporal Representation and Reasoning - Cape Breton, NS, Canada (7-9 July 2000)] Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 - Resolution-based proof for multi-modal temporal logics of knowledge

Dixon, C.; Fisher, M.

作者Dixon, C.; Fisher, M.
文件大小271.27KB
发表时间2000
DOI10.1109/time.2000.856587
页码69-78

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