Williams, H. Paul (1973) Decision procedures in formal logic and mathematical programming algorithms. Research report, 73-5. Operational Research Group, University of Sussex, Brighton, UK.
|
PDF
Download (1367Kb) | Preview |
| Item Type: | Monograph (Report) |
|---|---|
| Official URL: | http://www.sussex.ac.uk/ |
| Additional Information: | © 1973 The author |
| Library of Congress subject classification: | Q Science > QA Mathematics |
| Sets: | Research centres and groups > Management Science Group Departments > Management |
| Identification Number: | 73-5 |
| Date Deposited: | 26 Jan 2011 16:51 |
| URL: | http://eprints.lse.ac.uk/31737/ |
Actions (login required)
 |
Record administration - authorised staff only |
Download statistics
Download statistics