逻辑与计算机：推理建模与程序正确性验证
A

逻辑与计算机：推理建模与程序正确性验证

机器学习
mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems
作者
N.A. 阿列申娜，A.M. 阿尼索夫，P.I. 贝斯特罗夫，I.A. 格拉西莫娃，V.S. 梅斯科夫，N.N. 涅佩沃达，V.A. 斯米尔诺夫，V.N. 斯捷布列佐娃，V.I. 沙拉科
出版社
科学
年份
1990
语言
俄语
40
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

计算设备、复合体与系统的模型、方法、算法及软件解决方案

计算设备、复合体与系统的模型、方法、算法及软件解决方案

S. V. Veretekhina, V. L. Simonov, O. L. Mnatsakanyan

学习SQL与MySQL。轻松使用SQL命令提取和操作数据。

学习SQL与MySQL。轻松使用SQL命令提取和操作数据。

阿什温·帕詹卡尔

算法与计算模型

算法与计算模型

德米特里·戈卢边科、阿列克谢·克罗什宁、爱德华·戈尔布诺夫

逻辑编程导论

逻辑编程导论

迈克尔·杰内塞雷特，维奈·K·乔杜里

算法理论

算法理论

V.I. Igoshin

编程：职业入门。第2卷：系统编程

编程：职业入门。第2卷：系统编程

A. N. Stolyarov

学习SQL：数据生成、查询与处理

学习SQL：数据生成、查询与处理

艾伦·博利厄

算法。C、C++、Java 和 Python 实例手册。第二版

算法。C、C++、Java 和 Python 实例手册。第二版

乔治·海涅曼，加里·波利斯，斯坦利·塞尔科夫

编程：典型任务、算法、方法

编程：典型任务、算法、方法

D. M. 兹拉托波尔斯基

经济信息系统软件设计实践

经济信息系统软件设计实践

文德罗夫 A. M.