Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning (Editor), Frank Pfenning (Editor)

• New

  Illustrated
  2007

  $62.29

  A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.