Abstract
No abstract available.
- Title
- The automatic proof of theorems involving linear inequalities, Technical Report 94-29
- Authors
- Alena Griffiths (Author) - University of QueenslandMark Utting (Author) - University of Queensland
- Publisher
- University of Queensland, Software Verification Research Centre
- Date published
- 1995
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449187402621
- Output Type
- Report