领域：新一代信息技术产业 学校：北京林园大学职称：副教授

涉及人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等领域...

具体了解该专家信息，请致电：027-87555799 邮箱 haizhi@uipplus.com