Logic for problem solving.
Publisher: University of Edinburgh, School of Artificial Intelligence
Published: 1974
Place of publication: Edinburgh
Language: eng