【数学逻辑,人工智能】 Second Order Quantifier Elimination我要分享

Second order quantifier elimination

相关数学知识

关注次数: 332

下载次数: 0

文件大小: 41.76M

代码分类: 人工智能

开发平台: matlab

下载需要积分: 2积分

版权声明:如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

代码描述

中文说明:【数学逻辑,人工智能】 Second Order Quantifier Elimination


English Description:

Second order quantifier elimination


代码预览

Second_Order_Quantifier_Elimination_Foundations,_Computational_Aspects_and_Appl.pdf

Second_Order_Quantifier_Elimination_Foundations,_Computational_Aspects_and_Appl.zip