A.離散數(shù)學(xué)中數(shù)理邏輯教學(xué)的一些觀點(diǎn)
B.小學(xué)生數(shù)理邏輯智能培養(yǎng)實(shí)踐研究
C.數(shù)理邏輯的程序可靠性驗(yàn)證
D.數(shù)理邏輯教學(xué)內(nèi)容研究

A.協(xié)同信息檢索行為實(shí)驗(yàn)研究綜述
B.知識(shí)檢索與信息檢索的檢索效率比較
C.Web2.0環(huán)境下的網(wǎng)絡(luò)信息檢索
D.基于本體的跨語言信息檢索在數(shù)字圖書館中的應(yīng)用