Logic and its application to computing science
Subtitle: proceedings of the joint University of Newcastle upon Tyne / Amdahl (U.K.) Limited Seminar held in the University Computing Laboratory 8th-11th September, 1987
By: edited by B. Randell.
Contributors: Randell, Brian, 1936-; Amdahl (U.K.) Limited.; University of Newcastle upon Tyne. Computing Laboratory.
Publisher: University of Newcastle upon Tyne Computing Laboratory
Published: 1987
Place of publication: [Newcastle upon Tyne]
Language: eng
Number of pages: 390
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.