搜索【自动推理】的结果 - 只为小站

MMP自动推理平台软件

MMP自动推理平台软件
数学机械化

2024-10-31 20:36:16 6.9MB 数学机械化

1

基于visual prolog的鸡疾病自动推理系统

基于visual prolog的鸡疾病自动推理系统

2022-11-25 15:17:40 214KB visual prolog 自动推理

1

人工智能自动推理.pptx

人工智能自动推理

2022-04-17 09:07:35 2.82MB 人工智能 数据仓库

计算机怎样解几何题：谈谈自动推理.pdf

一本关于用计算机分析及解几何问题的书，书中有LISP程序算法。

2021-05-04 21:34:35 2.96MB 几何数学算法 计算机

1