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 (1MB) | Preview |
Item Type: | Monograph (Report) |
---|---|
Official URL: | http://www.sussex.ac.uk/ |
Additional Information: | © 1973 The author |
Divisions: | Management |
Subjects: | Q Science > QA Mathematics |
Date Deposited: | 26 Jan 2011 16:51 |
Last Modified: | 12 Dec 2024 05:35 |
URI: | http://eprints.lse.ac.uk/id/eprint/31737 |
Actions (login required)
View Item |