中文说明:【数学逻辑,人工智能】 Second Order Quantifier Elimination
English Description:
Second order quantifier elimination关注次数: 368
下载次数: 0
文件大小: 41.76M
中文说明:【数学逻辑,人工智能】 Second Order Quantifier Elimination
English Description:
Second order quantifier eliminationSecond_Order_Quantifier_Elimination_Foundations,_Computational_Aspects_and_Appl.pdf
Second_Order_Quantifier_Elimination_Foundations,_Computational_Aspects_and_Appl.zip