Relations and programs

Date
1988
Authors
Britz, Katarina
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
Description
Thesis (M. Sc.) -- University of Stellenbosch, 1988.
Full text to be digitised and attached to bibliographic record.
Keywords
Logic, Symbolic and mathematical, Computer programs, Dissertations -- Computer science
Citation