Abstract
No abstract available.
- Title
- The automatic proof of theorems involving linear inequalities
- Authors
- Alena Griffiths (Author)Mark Utting (Author)
- Conference details
- Automated reasoning day: (research and applications of automated reasoning), 2nd (Sep-1994)
- Publisher
- Griffith University
- Date published
- 1994
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449282802621
- Output Type
- Conference presentation