Institute of Computer Science
The Czech Academy of Sciences
关注
立即认领
分享
关注
立即认领
分享
基本信息
浏览量:0
职业迁徙
个人简介
His research interest include, but are not limited to, artificial intelligence, automated reasoning, unification, anti-unification, computational logic, and proof theory.