Decision procedures in formal logic and mathematical programming algorithms

Williams, H. Paul (1973) Decision procedures in formal logic and mathematical programming algorithms Technical Report. Operational Research Group, University of Sussex, Brighton, UK.
Copy
Item Type Report (Technical Report)
Copyright holders © 1973 The author
Departments Management
Date Deposited 26 Jan 2011 16:51
URI https://researchonline.lse.ac.uk/id/eprint/31737

Explore Further

picture_as_pdf
Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads