MOGAVERO Fabio について
Universita degli Studi di Napoli ”Federico II”, Napoli, ITA について
MOGAVERO Fabio について
Rice Univ., TX, USA について
MURANO Aniello について
Universita degli Studi di Napoli ”Federico II”, Napoli, ITA について
VARDI Moshe Y. について
Rice Univ., TX, USA について
Lecture Notes in Computer Science について
交代 について
時間論理 について
緩和 について
戦略 について
推論 について