Robert Veroff · 5 obras en el catálogoObrasAutomated reasoning and its applicationsData structures and problem solving with Turbo Pascal1993Data abstraction and problem solving with C++1995I/G Walls & MirrorsAutomated Reasoning and Its Applications