自动演绎
计算机术语
自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
参考资料
最新修订时间：2024-05-21 16:34
条目作者
小编
目录
概述
参考资料

Copyright©2024 闽ICP备2024072939号-1