Automated Reasoning and Its Applications

, by ;
Automated Reasoning and Its Applications by Veroff, Robert; Pieper, Gail W., 9780262220552
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
  • ISBN: 9780262220552 | 0262220555
  • Cover: Hardcover
  • Copyright: 6/6/1997

  • Rent


    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
  • Buy Used

    Usually Ships in 2-4 Business Days

  • Buy New

    Special Order: 1-2 Weeks


The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applicationswere written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the "culture" of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes. The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems. Contributors: Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang.

You might also enjoy...

Loading Icon

Please wait while the item is added to your bag...
Continue Shopping Button
Checkout Button
Loading Icon
Continue Shopping Button