2000 | ||
---|---|---|
1 | Gregor Erbach, Werner Saurer: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. Artif. Intell. Rev. 14(6): 615-617 (2000) |
1 | Gregor Erbach | [1] |