非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
验证码：
职称:Professor & Department Chair
所属学校:SUNY at Albany
所属院系:Computer Science,
所属专业:Computer and Information Sciences, General
联系方式: 518-442-3393
Automated deduction, extension of deductive techniques to various non-classical logics, including multiple-valued, annotated and fuzzy logic, knowledge compilation
