Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science)

by Aart Middeldorp (Editor), Amy P. Felty (Editor)

• New

  Paperback
  2015

  $87.44

  This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.