Robert Veroff

• Data abstraction and problem solving with C++
• Data structures and problem solving with Turbo Pascal
• Automated reasoning and its applications
• Automated Reasoning and Its Applications
• I/G Walls & Mirrors