有些知名的综合类搜索引擎也在开发学术搜索等垂直搜索产品，下列属于综合类搜索引擎开发的学术搜索引擎的有（）