Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
ISBN: 9783642366758
Information Available:
Summary
Inside Flap
Copyright held by Baker & Taylor.