Dov M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies

作者：Gregor Erbach, Werner Saurer

摘要

论文关键词：

论文评审过程：

论文官网地址：https://doi.org/10.1023/A:1006694602252