Hay, Stuart2020-11-192020-11-19c. 1991http://hdl.handle.net/1885/216208Professor Michael McRobbie (left) and Professor John O'Callaghan (right). Professor McRobbie was the Director of the Automated Reasoning Project, Research School of Social Sciences). Professor O'Callaghan was Chief, CSIRO Division of Information Technology.14.5cm x 20cmPhotographb&wThis item is provided for research purposes. Contact the Australian National University Archives at butlin.archives@anu.edu.au for permission to use.computers & computer equipmentANU Supercomputer