標(biāo)題: Titlebook: Axiomatising the Logic of Computer Programming; Robert Goldblatt Book 1982 Springer-Verlag Berlin Heidelberg 1982 Programmierlogik.compute [打印本頁] 作者: 貪求 時間: 2025-3-21 16:47
書目名稱Axiomatising the Logic of Computer Programming影響因子(影響力)
書目名稱Axiomatising the Logic of Computer Programming影響因子(影響力)學(xué)科排名
書目名稱Axiomatising the Logic of Computer Programming網(wǎng)絡(luò)公開度
書目名稱Axiomatising the Logic of Computer Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Axiomatising the Logic of Computer Programming被引頻次
書目名稱Axiomatising the Logic of Computer Programming被引頻次學(xué)科排名
書目名稱Axiomatising the Logic of Computer Programming年度引用
書目名稱Axiomatising the Logic of Computer Programming年度引用學(xué)科排名
書目名稱Axiomatising the Logic of Computer Programming讀者反饋
書目名稱Axiomatising the Logic of Computer Programming讀者反饋學(xué)科排名