书籍列表

模糊逻辑与模糊推理 封面
模糊逻辑与模糊推理

作者：刘叙华著
基于归结方法的自动推理 封面
基于归结方法的自动推理

作者：刘叙华著
中国人工智能90 第一届中国人工智能联合学术会议论文集 封面
中国人工智能90 第一届中国人工智能联合学术会议论文集

作者：刘叙华主编
离散数学 封面
离散数学

作者：刘叙华等编
定理机器证明 封面
定理机器证明

作者：刘叙华，姜云飞编著
离散数学 封面
离散数学

作者：杨凤杰，姜云飞，刘叙华编著
离散数学 封面
离散数学

作者：王湘浩，管纪文；刘叙华，洪声贵编著
返回首页