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 (1MB) | Preview

Identification Number: 73-5
Item Type: Monograph (Report)
Official URL: http://www.sussex.ac.uk/
Additional Information: © 1973 The author
Subjects: Q Science > QA Mathematics
Sets: Research centres and groups > Management Science Group
Departments > Management
Date Deposited: 26 Jan 2011 16:51
Last Modified: 06 Jun 2012 17:17
URI: http://eprints.lse.ac.uk/id/eprint/31737

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics