標(biāo)題: Titlebook: Theorem Proving in Higher Order Logics; 15th International C Victor A. Carre?o,César A. Mu?oz,Sofiène Tahar Conference proceedings 2002 Spr [打印本頁] 作者: hormone-therapy 時間: 2025-3-21 18:21
書目名稱Theorem Proving in Higher Order Logics影響因子(影響力)
書目名稱Theorem Proving in Higher Order Logics影響因子(影響力)學(xué)科排名
書目名稱Theorem Proving in Higher Order Logics網(wǎng)絡(luò)公開度
書目名稱Theorem Proving in Higher Order Logics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Theorem Proving in Higher Order Logics被引頻次
書目名稱Theorem Proving in Higher Order Logics被引頻次學(xué)科排名
書目名稱Theorem Proving in Higher Order Logics年度引用
書目名稱Theorem Proving in Higher Order Logics年度引用學(xué)科排名
書目名稱Theorem Proving in Higher Order Logics讀者反饋
書目名稱Theorem Proving in Higher Order Logics讀者反饋學(xué)科排名