Decision procedures in formal logic and mathematical programming algorithms

Williams, H. P. (1973). Decision procedures in formal logic and mathematical programming algorithms. (Research report 73-5). Operational Research Group, University of Sussex.
Copy
Item Type Report (Technical Report)
Copyright holders © 1973 The author
Departments LSE > Academic Departments > Management
Date Deposited 26 Jan 2011
URI https://researchonline.lse.ac.uk/id/eprint/31737

Explore Further

picture_as_pdf
Download

Export as

EndNote BibTeX Reference Manager Refer Atom Dublin Core JSON Multiline CSV
Export

Downloads
View more statistics