Browsing by Author "Gabbay, D.M."

Now showing items 1-1 of 1

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming

Gabbay, D.M.; Hogger, C.J.; Robinson, J.A. (Clarendon Press, 2008)

Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial ...