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

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

[IEEE Comput. Soc 17th Annual IEEE Symposium on Logic in Computer Science - Copenhagen, Denmark (22-25 July 2002)] Proceedings 17th Annual IEEE Symposium on Logic in Computer Science - Semantic subtyping

[IEEE Comput. Soc 17th Annual IEEE Symposium on Logic in Computer Science - Copenhagen, Denmark (22-25 July 2002)] Proceedings 17th Annual IEEE Symposium on Logic in Computer Science - Semantic subtyping

Frisch, A.; Castagna, G.; Benzaken, V.

作者Frisch, A.; Castagna, G.; Benzaken, V.
文件大小410.08KB
发表时间2002
DOI10.1109/lics.2002.1029823
页码137-146

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