Automated Deduction in Classical and Non-Classical Logics : Selected Papers
ISBN: 9783540671909
Information Available:
Summary
Table Of Contents
Copyright held by Baker & Taylor.