Product Description: 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...read more (view table of contents, read Amazon.com's description)

Product Description: The bestselling exploration of recursion and recursive problem solving is now available in a new Turbo Pascal edition. This new edition includes optional sections on object-oriented programming as well as coverage of Turbo Compiler Directives, Turbo Compiler Error Messages, and the difference between Turbo Pascal and Standard Pascal...read more