Summary and Info
6th Conference in Automated DeductionNew York, USA, June 7-9, 1982
More About the Author
Louis Joseph Thomas (born January 16, 1942) is an American educator and administrator who is the Anne and Elmer Lindseth Dean Emeritus and professor of operations management of the Samuel Curtis Johnson Graduate School of Management at Cornell University.
Review and Comments
Rate the Book
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 0 out of 5 stars based on 0 ratings.