单项选择题
请用万方智搜学术资源发现服务平台检索《现代中小学教育》一刊于2016年刊登的主题为“数理逻辑”的论文题名为？（）
A.离散数学中数理逻辑教学的一些观点 B.小学生数理逻辑智能培养实践研究 C.数理逻辑的程序可靠性验证 D.数理逻辑教学内容研究
单项选择题 请用万方智搜学术资源发现服务平台检索学者张自然于2016年发表的以“信息检索”为主题的论文是哪篇？（）
单项选择题 请用万方智搜学术资源发现服务平台检索“智慧城市”（不作文献类型，年代或字段等任何限定），在其全部检索结果中，文献类型最多的是？（）
单项选择题 请用万方智搜学术资源发现服务平台检索2010年中华医学会主办的会议有多少个？（）
