符号计算与知识工程重点实验室

主任室 5166265、5166063
副主任室 5166063
办公室 5166490、5166063
多功能厅、机房 5166490、5166063
资料室 5166474
复印室 5168328
计算机学院院办公室 5166269
数学学院办公室 5166214
软件学院院办公室 5168337
知识工程与智能软件教研室研究室 5166479
智能规划与自动推理教研室研究室 5166478
计算机代数教研室研究室
计算智能教研室研究室 5166477
计算机智能工程教研室研究室 5168510
计算机应用软件教研室研究室 5166492
计算机应用教研室研究室 5166493
计算机图形学与图像处理教研室研究室 5166475
分布计算与系统结构教研室研究室 5166476
软件工程教研室研究室 5166468
计算机软件教研室研究室 5166480
IBM技术中心 5168770、5168771
计算机接口实验室 5167497
计算机软件实验室 5167496