On Exploiting the Structure of Martin-Löf's Theory of Types*.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 387, doi. 10.1093/comjnl/36.4.387
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1993 AND VI 36 AND IP 4
Results: 8
1
2
A Review of Several Programs for the Teaching of Logic.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 373, doi. 10.1093/comjnl/36.4.373
- By:
- Publication type:
- Article
3
Understanding Turing's Universal Machine — Personal Style in Program Description.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 351, doi. 10.1093/comjnl/36.4.351
- By:
- Publication type:
- Article
4
Planning for IT Literacy in an Institution of Higher Education: A Case Study.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 343, doi. 10.1093/comjnl/36.4.343
- By:
- Publication type:
- Article
5
Educating the Masses — Is IT a Tricky Business?
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 335, doi. 10.1093/comjnl/36.4.335
- By:
- Publication type:
- Article
6
An Integrated Engineering Study Scheme in Computing.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 320, doi. 10.1093/comjnl/36.4.320
- By:
- Publication type:
- Article
7
European Computing Curricula: A Guide and Comparative Analysis.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 299, doi. 10.1093/comjnl/36.4.299
- By:
- Publication type:
- Article
8
Editorial.
- Published in:
- Computer Journal, 1993, v. 36, n. 4, p. 297, doi. 10.1093/comjnl/36.4.297
- By:
- Publication type:
- Article