|
|
項潔 Hsiang, Jieh
合聘研究員
|
|
Digital Libraries and Museums ; Artificial Intelligence: software agents, strategy analysis ; Programming Languages: logic programming, logics of programming ; Foundation of Computer Science: term rewriting systems, automated deduction
|
|