Computing with logic. Logic programming with Prolog

by David Maier and David S. Warren · 1 review · 1991

Reviewed by Journal Date Access
J. C. Shepherdson The Journal of Symbolic Logic 1991 Restricted

Metaphysics & Logic

Also by Warren

Search PhilReviews for this title