Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing

Name: Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing
Author: A. J. H. Morrell

by A. J. H. Morrell · 1 review · 1973

Reviewed by	Journal	Date	Access
Joyce Friedman	The Journal of Symbolic Logic	1973	Restricted

Metaphysics & Logic

Also by Morrell

Organization, Society and Politics: An Aristotelian Perspective (2 reviews)
Empathy and Democracy: Feeling, Thinking and Deliberation (1 review)
John Phillips and the Business of Victorian Science (1 review)
Pompey, Cato, and the Governance of the Roman Empire (1 review)
Sand & Pebbles (1 review)

Search PhilReviews for this title