图书馆

登录

书目详细信息： 逻辑公式的可满足性判定

书目信息  机读格式(MARC)

《逻辑公式的可满足性判定》

ISBN/价格：	7-03-008364-4:18.00
作品语种：	chi
出版国别：	CN
题名责任者项：	逻辑公式的可满足性判定/.张健著
出版发行项：	北京:,科学出版社:,2000
载体形态项：	172页:;+21cm
丛编项：	博士丛书/卢嘉锡,钱伟长主编
题名主题：	人工智能
中图分类：	O141
个人名称等同：	张健著
记录来源：	CN YNAU 20011211

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《逻辑公式的可满足性判定》二维码