Tang Zhengyi について
School of Information Science & Engineering,Fujian University of Technology について
Xue Xingsi について
School of Information Science & Engineering,Fujian University of Technology について
Wang Jinshui について
School of Information Science & Engineering,Fujian University of Technology について
Wang Xiaofeng について
貴州大学計算机科学与技術学院 について
Jisuanji Yingyong Yanjiu について
完全性 について
時間論理 について
公平性 について
精密化 について
推論規則 について
temporal logic of action について
fairness について
liveness について
reasoning rules について
system verification について
計算理論 について
人工知能 について
行動 について
論理 について
公平性 について
活性 について
推論規則 について