CS Theses 1972

For 1972 graduation dates (in alphabetical order by last name):

Program and Job-Stream Characteristics in the Michigan Terminal System
Bowler, Kenneth H.
URI : http://hdl.handle.net/2429/33468
Degree : Master of Science – MSc
Graduation Date : 1972-11
Supervisor : Dr. Seeley

Semantic Studies of Intuitionistic Logic
Criscuolo, Giovanni
URI : http://hdl.handle.net/2429/33644
Degree : Master of Science – MSc
Graduation Date : 1972-11
Supervisor : Dr. Gilmore

Toward Better Numerical Integration
Immerzeel, Gerrit
URI : http://hdl.handle.net/2429/33257
Degree : Master of Science – MSc
Graduation Date : 1972-05
Supervisor : Dr. Johnson

An Implementation of an Urban Land Use Model
Kestner, James
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111948
Degree : Master of Science – MSc
Graduation Date : 1972-05

A Unit Resolution Theorem Proving System
Lequesne, Peter
URI : http://hdl.handle.net/2429/33349
Degree : Master of Science – MSc
Graduation Date : 1972-05
Supervisor : Dr. Reiter

A Supervisor to Monitor Multiple Simulators
McRae, Robert
URI : http://hdl.handle.net/2429/33489
Degree : Master of Science – MSc
Graduation Date : 1972-05
Supervisor : Dr. Parker

On the Completeness of Linear Strategies in Automatic Consequence Finding
Minicozzi, Eliana
URI : http://hdl.handle.net/2429/33572
Degree : Master of Science – MSc
Graduation Date : 1972-05
Supervisor : Dr. Reiter

An Algorithm for Constructing the Automorphism Group of a Graph
Rashid, Zafar
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111949
Degree : Master of Science – MSc
Graduation Date : 1972-05

SPORE: The Semantics of Positional Relations
Reidlinger, Deborah
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111950
Degree : Master of Science – MSc
Graduation Date : 1972-11

Robot Simulation Studies
Rowat, Peter
URI : http://hdl.handle.net/2429/33272
Degree : Master of Science – MSc
Graduation Date : 1972-05
Supervisor : Dr. Rosenberg

Implementation of the Stanford O/S LISP Interpreter under MTS
Shannan, Greg
Master’s essay available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=115167
Degree : Master of Science – MSc
Graduation Date : 1972-05

VAN: A Conversational Program
Truong, Long Thieu
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111947
Degree : Master of Science – MSc
Graduation Date : 1972-05

FILM - A Fortran Embedded Animation Language
Varga, Lewis
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111951
Degree : Master of Science – MSc
Graduation Date : 1972-05

Automatic Construction of Bounded Context Parsers
Wales, Keith
Master’s project paper available in print : https://bibrrs.library.ubc.ca/vwebv/holdingsInfo?bibId=111952
Degree : Master of Science – MSc
Graduation Date : 1972-05