|
题名:
|
面向计算机科学的数理逻辑: 系统建模与推理 / (英)胡思(Michael Huth)，( )Mark Ryan , |
|
ISBN:
|
7-111-16053-3 价格： 49.00 |
|
载体形态:
|
16,427页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 20050101 |
|
内容提要:
|
本书涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： |