Logic and its application to computing science
Subtitle: proceedings of the joint University of Newcastle upon Tyne/Amdahl (U.K.) Limited seminar heldin the University Computing Laboratory 8th-11th September, 1987
By: edited by B. Randall.
Contributors: Randell, B.; University of Newcastle upon Tyne. Computing Laboratory.; Amdahl (U.K.) Limited.
Publisher: University of Newcastle upon Tyne
Published: 1988
Place of publication: Newcastle upon Tyne
Language: eng