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

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

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Mechanizing the Metatheory of LF

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Mechanizing the Metatheory of LF

Urban, Christian; Cheney, James; Berghofer, Stefan

作者Urban, Christian; Cheney, James; Berghofer, Stefan
文件大小290.57KB
发表时间2008
DOI10.1109/lics.2008.29
页码45-56

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