中文说明：【数学逻辑，人工智能】 Second Order Quantifier Elimination
English Description：
Second order quantifier elimination
关注次数： 332
下载次数： 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