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
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: 13 Sep 2024 16:24
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