The ICICS/CS Reading Room
1979 UBC CS Technical Report Titles
- TR-79-01
-
In Search of an Optimal Machine Architecture for BCPL
R. Agarwal and Samuel T. Chanson
- TR-79-02
-
Anaphoria in natural Language Understanding: A Survey
Graeme Hirst
- TR-79-03 (Abstract not available on-line)
-
Equality and Domain Closure in First Order Data Bases
Raymond Reiter
- TR-79-04 (Abstract not available on-line)
-
Programming Skill Acquisition --- Progress Report
V. Manis
- TR-79-05
-
Multi-process Structuring and the THOTH Operating System
David R. Cheriton
- TR-79-06 (Abstract not available on-line)
-
Message-Passing, Spaces and Agents
David R. Cheriton
- TR-79-07
-
Saturation Estimation in Interactive Computer Systems
Samuel T. Chanson
- TR-79-08
-
A Logic for Default Reasoning
Raymond Reiter
- TR-79-09 (Abstract not available on-line)
-
Designing an Operating System to be Verifiable
David R. Cheriton
- TR-79-10
-
Process Identification in THOTH
David R. Cheriton
- TR-79-11
-
Three BCPL Machines
Harvey Abramson
- TR-79-12
-
The Pica-B Computer
Harvey Abramson, Mark Fox, J. Peck, V. Manis and M. Gorlick
- TR-79-13 (Abstract not available on-line)
-
Approaching Discourse Computationally: A Review
Richard S. Rosenberg
- TR-79-14
-
Representation Spatial Experience \& Solving Spatial Problems in a Simulated Robot Environment
Peter Forbes Rowat
- TR-79-15 (Abstract not available on-line)
-
The Design of a Verifiable Operating System Kernel
T. Lockhart
If you have any questions or comments regarding this page please send mail to
help.ubc.ca.