|
题名:
|
逻辑编程导论 Luo Ji Bian Cheng Dao Lun / (美)迈克尔·吉内塞雷斯(Michael Geneseret , 徐坚[等]译 |
|
ISBN:
|
978-7-111-69181-5 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
183页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021.10 |
|
内容提要:
|
本书向读者介绍了传统逻辑编程的基本原理，阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义，而不是 |
|
主题词:
|
逻辑控制-程序设计 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
迈克尔·吉内塞雷斯Michael Geneseret Mai Ke Er ·Ji Nei Sai Lei Si MichaelGeneseret |
|
次要责任者:
|
徐坚等 译 |
|
索书号:
|
2 |