逻辑公式的可满足性判定 : 方法、工具及应用

逻辑公式的可满足性判定 : 方法、工具及应用

PISBN：7030083644

出版类型：专著

出版时间：2000-10-01

版次：1

作者：张健著

学科：计算机科学技术

语种：中文

所属数据库：科学文库

丛书题名：博士丛书

问图书管理员

查看订购单位

点赞

收藏

MATLAB模糊逻辑工具箱的分析与应用

作者：闻新等编著
PISBN：7030092449
出版时间：2001-04-01

逻辑、方法与创新

作者：张巨青著
PISBN：9787030573735
出版时间：2018-06-01

时序逻辑程序设计与软件工程. 下册. 软件工程方法与工具

作者：唐稚松等著
PISBN：7030099281
出版时间：2002-05-01

多值逻辑的理论及应用

作者：罗铸楷等著
PISBN：7030026284
出版时间：1992-03-01

现代认知逻辑的理论与应用

作者：唐晓嘉，郭美云主编
PISBN：9787030287465
出版时间：2010-10-01

主观逻辑及其应用

作者：田俊峰，焦洪强，杜瑞忠
PISBN：9787030458070
出版时间：2015-09-01