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: | 11 Sep 2025 02:42 | 
| URI: | http://eprints.lse.ac.uk/id/eprint/31737 | 
Actions (login required)
|  | View Item | 
 
                                     Download Statistics
 Download Statistics Download Statistics
 Download Statistics