The Computer Journal

Articles

P. Hammersley

Editorial
The Computer Journal 1993 36: 297-298; doi:10.1093/comjnl/36.4.297 [PDF] [Request Permissions]  

A. Finkelstein

European Computing Curricula: A Guide and Comparative Analysis
The Computer Journal 1993 36: 299-319; doi:10.1093/comjnl/36.4.299 [Abstract] [PDF] [Request Permissions]  

A. Finkelstein, J. Kramer, S. Abramsky, K. Broda, S. Drossopoulou, and S. Eisenbach

An Integrated Engineering Study Scheme in Computing
The Computer Journal 1993 36: 320-334; doi:10.1093/comjnl/36.4.320 [Abstract] [PDF] [Request Permissions]  

J. D. Pemberton and J. M. Smailes

Educating the Masses — Is IT a Tricky Business?
The Computer Journal 1993 36: 335-342; doi:10.1093/comjnl/36.4.335 [Abstract] [PDF] [Request Permissions]  

C. Osborne

Planning for IT Literacy in an Institution of Higher Education: A Case Study
The Computer Journal 1993 36: 343-350; doi:10.1093/comjnl/36.4.343 [Abstract] [PDF] [Request Permissions]  

P. Naur

Understanding Turing's Universal Machine — Personal Style in Program Description
The Computer Journal 1993 36: 351-372; doi:10.1093/comjnl/36.4.351 [Abstract] [PDF] [Request Permissions]  

D. Goldson, S. Reeves, and R. Bornat

A Review of Several Programs for the Teaching of Logic
The Computer Journal 1993 36: 373-386; doi:10.1093/comjnl/36.4.373 [Abstract] [PDF] [Request Permissions]  

A. Ireland

On Exploiting the Structure of Martin-Löf's Theory of Types
The Computer Journal 1993 36: 387-398; doi:10.1093/comjnl/36.4.387 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.