Michael J. Maher (maher-mj)

Contributi a Philosophie.ch

Bibliography

Jaffar, Joxan and Maher, Michael J. 1998. “Constraint Logic Programming: A Survey.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 591–696. Oxford: Oxford University Press.
Lassez, J.-L., Maher, Michael J. and Marriott, K. 1988. “Unification Revisited.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 587–625. San Francisco, California: Morgan Kaufmann Publishers.
Maher, Michael J. 1988. “Equivalences of Logic Programs.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 627–658. San Francisco, California: Morgan Kaufmann Publishers.