Institutional Repository

Browsing Quaestiones Informaticae Vol 6 No 4 by Subject "refinement"

Browsing Quaestiones Informaticae Vol 6 No 4 by Subject "refinement"

Sort by: Order: Results:

  • Kourie, D.G. (Computer Society of South Africa (on behalf of SAICSIT), 1989)
    A proposal for defining abstractions and refinements is given in terms of three-valued logic applied to a domain of discourse consisting of a property and an entity set. Definitions for several related concepts flow ...

Search UnisaIR


Browse

My Account