Cookies?
Library Header Image
LSE Research Online LSE Library Services

Decision procedures in formal logic and mathematical programming algorithms

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.

[img]
Preview
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
Rights: http://www.lse.ac.uk/library/usingTheLibrary/academicSupport/OA/depositYourResearch.aspx
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 Record administration - authorised staff only