书目详细信息 : 既有深坑地下空间开发利用岩土工程技术与工程实践