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

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

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - A modal process logic

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - A modal process logic

Larsen, K.G.; Thomsen, B.

作者Larsen, K.G.; Thomsen, B.
文件大小548.82KB
发表时间1988
DOI10.1109/lics.1988.5119
页码203-210

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