×
  • Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

    Amy P. Felty

Click on cover to enlarge.
Buy This Book
From Amazon.