1 book in series

Handbook of Logic in Artificial Intelligence and Logic Programming

Handbook of Logic in Artificial Intelligence and Logic Programming is a 1-book series first released in 1994 with contributions by Dov M. Gabbay, John Alan Robinson, and C.J. Hogger.