Article PDF
References
Allwein, G. and Barwise, J., Logical Reasoning with Diagrams, Oxford University Press, 1996.
Cohen, P. 1995. Empirical Methods in Artificial Intelligence, MIT Press, 1995.
Kowalski, R.A., Logic for Problem Solving, Elsevier, North-Holland, 1983.
O'Keefe, R., The Craft of Prolog, MIT Press (Logic Programming Series), 1990.
Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, 1988.
Polya, G., How to Solve It, Princeton University Press, 1957, 2nd edition.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Robertson, D. Desert Island Column: The Books Don't Work. Automated Software Engineering 6, 441–443 (1999). https://doi.org/10.1023/A:1008771623878
Issue Date:
DOI: https://doi.org/10.1023/A:1008771623878