Tang Zhenhao について
南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023 について
南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023 について
Di Juan について
南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023 について
Zhao Jianhua について
南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023 について
Ruanjian Xuebao について
Hoare-Style program verification について
program analysis について
recursive data structures について
inductive properties について
interprocedural analysis について
人工知能 について
計算機網 について
データ構造 について
性質 について
解析 について