FERET Jerome について
LIENS (INRIA/ENS/CNRS), Paris, FRA について
HENZINGER Thomas について
IST Austria, Klosterneuburg, AUT について
KOEPPL Heinz について
ETH Zuerich, Zuerich, CHE について
PETROV Tatjana について
ETH Zuerich, Zuerich, CHE について
Theoretical Computer Science について
ルールベースシステム について
集塊 について
可能性 について
抽象化 について