Books written by Robert Veroff

• 

  Data Abstraction and Problem Solving with C++: Walls and Mirrors

  New in this Edition *Uses recent enhancements to C++, such as data type bool and C++ strings *States ADT operations in English, specifies them in pseudocode, and finally implements them...

• 

  Data Structures and Problem Solving with Turbo Pascal: Walls and Mirrors

  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...

• 

  Intermediate Problem Solving and Data Structures: Walls and Mirrors

  Intermediate Problem Solving and Data Structures: Walls and Mirrors

• 

  Walls and Mirrors: Intermediate Problem Solving and Data Structures

  Software -- Programming Techniques.

• 

  Automated Reasoning and Its Applications: Essays in Honor of Larry Wos

  ... equational proofs and the first ones found by computer . 5.2 The Test Problems Our 33 test problems are taken from the recent monograph Automated Deduction in Equational Logic and Cubic Curves [ 12 ] , which contains a collection of ...