全部期刊
刊名 ISSN
《15th Annual IEEE Symposium on Logic in Computer Science (Santa Barbara, CA, 2000)》
语言：外文
ISSN：1552-3098
学科分类：建筑