Unisa Institutional Repository

UnisaIR Home
College of Science, Engineering & Technology
School of Computing
Search

Search

Search Results for Community: School of Computing

Now showing items 1-3 of 3

1

Validating reasoning heuristics using next generation theorem provers

Steyn, Paul Stephanes (2009-01)
Enhancing the Established Strategy for Constructing a Z Specification

Van der Poll, John A.; Kotze, Paula (2005)
A multi-level Marketing case study : specifying forests and trees in Z

Van der Poll, J.A.; Kotze, P. (2003-06)

Now showing items 1-3 of 3

1

Search UnisaIR

Browse

All of UnisaIR
This Community
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Statistics

View Statistics

Discover

Author
Subject
- Automated reasoning (3)
- Formal specification (3)
- Established Strategy (2)
- Heuristics (2)
- OTTER (2)
- Resolution (2)
- Set theory (2)
- 004.0151 (1)
- Automated theorem proving (1)
- First-order logic (1)
- ... View More
Date Issued