Handbook of Automated Reasoning
ISBN: 9780080532790
Information Available:
Summary
Excerpt
Cover Image
Copyright held by Baker & Taylor.