Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies

Dov M. Gabbay Christopher J. Hogger J. A. Robinson Jörg H. Siekmann Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies 0-19-853746-8 Oxford University Press Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2 1994 db/books/collections/LAI2Handbook94.html