图书馆

登录

搜索 逻辑公式的可满足性判定 的资源共有 2 条结果，用时 0.003 秒

每页显示：

5
10
15
20

显示方式：

排序方式：

图书馆

图书馆(2)

资源类型

图书(2)

馆藏地址

书目库

中文图书(2)

主题

出版社

科学出版社(2)

出版时间

2000.10(2)

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

— 张健著

索书号：O141/4

标准编码： 7-03-008364-4

出版信息：北京科学出版社 2000.10

中文图书

馆藏预览

数据正在加载中……

数据正在加载中……
逻辑公式的可满足性判定:方法、工具及应用

— 张健著

索书号：O141/4

标准编码： 7-03-008364-4

出版信息：北京科学出版社 2000.10

中文图书

馆藏预览

数据正在加载中……

数据正在加载中……

1 共有：2条记录

参考翻译

热门检索词

相关资源