DE GIACOMO Giuseppe について
Dipartimento di Informatica e Sistemistica, Sapienza Universita di Roma, Rome, ITA について
PATRIZI Fabio について
Dipartimento di Informatica e Sistemistica, Sapienza Universita di Roma, Rome, ITA について
SARDINA Sebastian について
School of Computer Sci. and IT, RMIT Univ., Melbourne, AUS について
Artificial Intelligence について
人工知能 について
組立 について
制御装置 について
予測技法 について
有限状態機械 について
遷移システム について
協調制御 について
同時実行制御 について
形式的手法【計算機】 について
健全性 について
完全性 について
最適化手法 について
計算量 について
実装設計 について
モデル検査 について
コントローラ について
行動組立問題 について
人工知能 について
オートマトン理論 について