通过万方数据平台的机构栏目检索，可知“机器人学国家重点实验室“的曾用名是（）

• A、机器人实验室
• B、中国科学院机器人学重点实验室
• C、北京机器人实验室
• D、天津机器人重点实验室